mkFunTy :: Type -> Type -> Type
-- ^ Creates a function type from the given argument and result type
mkFunTy arg res = FunTy arg res
mkFunTy :: Type -> Type -> Type
mkFunTy arg res = FunTy arg res
mkFunTy arg res = FunTy arg res