Data.Algebra

deriveInstance

deriveInstanceWith

Classes

class Algebra f a

algebraA

type family Signature c :: * -> *

class AlgebraSignature f