[<<][haskell][>>][..]
Thu Jul 19 23:06:22 EDT 2018

DataKinds

Normal: untyped functional programming at the type level.
With data kinds, the kind level gets a form of types.

https://stackoverflow.com/questions/20558648/what-is-the-datakinds-extension-of-haskell

So I understand that this is useful in combination with phantom types.
What about type families?




[Reply][About]
[<<][haskell][>>][..]