- | Checks whether a 'Type' is a function (arrow) type
isArrowType :: (Type p) -> Bool
isArrowType Arrow {} = True

isArrowType :: (Type p) -> Bool
isArrowType Arrow {} = True
isArrowType Arrow {} = True