Data.Algebra.Internal

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

class AlgebraSignature f

class Algebra f a

algebraA