| Version 1 (modified by diatchki, 2 years ago) |
|---|
Type-Level Operations
type family m ^ n :: Nat type family m * n :: Nat type family m + n :: Nat class m <= n
| Version 1 (modified by diatchki, 2 years ago) |
|---|
type family m ^ n :: Nat type family m * n :: Nat type family m + n :: Nat class m <= n
