module Pandora.Pattern.Functor.Semimonoidal where import Pandora.Pattern.Semigroupoid (Semigroupoid) class Semigroupoid p => Semimonoidal p source target t where multiply :: p (source (t a) (t b)) (t (target a b))