Portability | non-portable (see .cabal) |
---|---|
Stability | experimental |
Maintainer | Brent Yorgey <byorgey@cis.upenn.edu> |
Safe Haskell | None |
Type-level lists. These lists only describe the types, but contain no data. That is, they are phantom types.
- type family a :++: b :: [*]