Semimonoidal.hs

module Pandora.Pattern.Functor.Semimonoidal where

import Pandora.Pattern.Semigroupoid (Semigroupoid)

class Semigroupoid p => Semimonoidal t p source target where
	multiply_ :: p (source (t a) (t b)) (t (target a b))