-- | Does a term have a function type?
isFun :: (Functor m, Fresh m)
      => HashMap TyConName TyCon
      -> Term
      -> m Bool
isFun m t = fmap (isFunTy m) $ (termType m) t
isFun :: (Functor m, Fresh m)
      => HashMap TyConName TyCon
      -> Term
      -> m Bool
isFun m t = fmap (isFunTy m) $ (termType m) t
isFun m t = fmap (isFunTy m) $ (termType m) t