Closed L-as closed 1 year ago
EForall1, EForall2, etc. might be a good first step. It gets more complex if you want to supported lifted types, i.e. DataKinds, as kinds in the eDSL.
EForall1
EForall2
DataKinds
We probably just want type PForallN :: (f :: NP PHsW as -> PType) -> PType.
type PForallN :: (f :: NP PHsW as -> PType) -> PType
EForall1
,EForall2
, etc. might be a good first step. It gets more complex if you want to supported lifted types, i.e.DataKinds
, as kinds in the eDSL.