Documentation

kExp :: Q Exp Source #

kPat :: Pat Source #

cofreeDeriv :: Name -> Derivator Source #

deriveCofreeInstance' :: Name -> Name -> Name -> Q [Dec] Source #

type (~=>) a b = forall x. a x => b x Source #