Add missing case for stuck hComp
in Sum
type in conv. checking
#45
Annotations
11 warnings
hComp
in Sum
type in conv. checking
#45