isPointed,
isFullyEvaluatedTerm,
-- unsafeDeepSeq,
-
- sigmaType
) where
#include "HsVersions.h"
-- Is this defined elsewhere?
--- Find all free tyvars and insert the appropiate ForAll.
+-- Generalize the type: find all free tyvars and wrap in the appropiate ForAll.
sigmaType ty = mkForAllTys (varSetElems$ tyVarsOfType (dropForAlls ty)) ty
{-