structuralist

-- Ever wondered where monad transformers come from?

{-# LANGUAGE TypeOperators #-}

import Control.Arrow ((+++))
import Control.Monad ((<=<))
import Control.Monad.Identity (Identity)


-- Coslice category