Data.Algebra

deriveInstance

deriveInstanceWith

Classes

class Algebra f a

algebraA

type family Signature (c :: * -> Constraint) :: * -> *

class AlgebraSignature f