HCons

typelevel

heapArbitrary

ScalazArbitrary

HList

typelevel

HNil

typelevel

homomorphism

applicative