module Pandora.Pattern.Functor.Monoidal where

import Pandora.Pattern.Functor.Semimonoidal (Semimonoidal)
import Pandora.Pattern.Operation.Unit (Unit)
import Pandora.Paradigm.Primary.Functor.Proxy (Proxy)

class Semimonoidal p source target t => Monoidal p q source target t | p target -> source where
	unit :: Proxy source -> p (q (Unit target) a) (t a)