[Haskell-cafe] Using a non fully saturated type family
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