[Haskell-cafe] Promoting associated data types

Marcin Mrotek marcin.jan.mrotek at gmail.com
Sat Jun 27 13:02:10 UTC 2015


As for use cases of promoted data families, I see a very simple one
with https://hackage.haskell.org/package/vinyl Instead of having to
define in one go all tags that can be used together:

data Field = Foo | Bar | Baz | ...

one could add them in separate modules.

Best regards,
Marcin Mrotek

More information about the Haskell-Cafe mailing list