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))