mgeneric-0.0.0.0: Generics with multiple parameters
Data.HList
data HList as where Source
Constructors
class HNth as n where Source
Methods
hnth :: HList as -> Proxy n -> as :!: n Source
Instances