mgeneric-0.0.0.2: Generics with multiple parameters
Data.Nat
data Nat Source
Constructors
type family as :!: n :: k Source
Equations
type family as :!!: n :: [k] Source