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

[Ruben Astudillo]

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)