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

Ruben Astudillo ruben.astud at gmail.com
Thu Sep 9 16:22:12 UTC 2021

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)

More information about the Haskell-Cafe mailing list