Re: [Haskell-cafe] Using a non fully saturated type family

On 09-09-21 12:00, Li-yao Xia wrote:

Another is to wrap the type family in a newtype.

newtype ApplyTagT t = ApplyTagT (ApplyTag t)

Sigma Tag ApplyTagT is now a well-formed type, though there must be an explicit ApplyTagT constructor for constructing dependent pairs.

This is a great hack! -- Rubén. (pgp: 4EE9 28F7 932E F4AD)