{-#
OPTIONS
--safe
#-}
module
Cubical.Categories.DistributiveLaw.ComonadOverMonad.BiKleisli
where