-- | Does a term have a function or polymorphic type?
isPolyFun :: (Functor m, Fresh m)
          => HashMap TyConName TyCon
          -> Term
          -> m Bool
isPolyFun m t = isPolyFunCoreTy m <$> termType m t
isPolyFun :: (Functor m, Fresh m)
          => HashMap TyConName TyCon
          -> Term
          -> m Bool
isPolyFun m t = isPolyFunCoreTy m <$> termType m t
isPolyFun m t = isPolyFunCoreTy m <$> termType m t