HellsMonoid.hs

instance
=> MonoidalAction ob_m hom_m 👻 🧟 ob_c hom_c ✝️
=> MonoidalAction ob_m hom_m 👻 🧟 ob_d hom_d 🎃
=> ob_c 👹
=> ob_d 🔥
=> Tambara ob_c hom_c
           ob_d hom_d
           ob_m hom_m 👻 🧟
           ✝️ 
           🎃
           (Optic ob_c hom_c
                  ob_d hom_d
                  ob_m hom_m 👻 🧟 
                  ✝️ 🎃 👹 🔥) 

where

  tambara (Optic l r) 
  = Optic
    (comp @ob_c  @hom_c  
          (multiplicator @ob_m  @hom_m  @👻 @🧟
                         @ob_c  @hom_c
                         @✝️)
          (bimap @ob_m  @hom_m 
                 @ob_c  @hom_c  
                 @ob_c  @hom_c 
                 (unit @ob_m  @hom_m) 
                 l))
    (comp @ob_d  @hom_d  
          (bimap @ob_m  @hom_m 
                 @ob_d  @hom_d
                 @ob_d  @hom_d
                 (unit @ob_m  @hom_m)
                 r)
          (multiplicatorinv @ob_m  @hom_m @👻 @🧟
                            @ob_d  @hom_d
                            @🎃))

-- ^ A Tambara module defined over the category of hell.