Definition haskLiteralToCoreType lit : CoreType :=
TyConApp (haskLiteralToTyCon lit) nil.
Definition weakTypeToCoreType (wt:CoreType) : CoreType := wt.
Definition haskLiteralToCoreType lit : CoreType :=
TyConApp (haskLiteralToTyCon lit) nil.
Definition weakTypeToCoreType (wt:CoreType) : CoreType := wt.