Combinators for manipulating dependently-typed predicates.| Hackage
Generic1 (Proxy :: k -> Type) Source # | hackage.haskell.org
