Data.Algebra.Internal

type family Signature c :: * -> *

class AlgebraSignature f

class Algebra f a

algebraA