@@ -399,6 +399,9 @@ isOnlyConstructor e ctor =
400isNullaryConstructor :: Environment -> Qualified ProperName -> Bool
400isNullaryConstructor :: Environment -> Qualified ProperName -> Bool
401isNullaryConstructor e ctor =
401isNullaryConstructor e ctor =
402− case fromMaybe (error "Data constructor not found") $ ctor `M.lookup` dataConstructors e of
402+ not . isFunction . snd . fromMaybe (error "Data constructor not found") $ ctor `M.lookup` dataConstructors e
403− (_, TypeConstructor{}) -> True
403+ where
404− _ -> False
404+ isFunction :: Type -> Bool
405+ isFunction (ForAll _ t _) = isFunction t
406+ isFunction (TypeApp t _) = isFunction t
407+ isFunction t = t == tyFunction