module stlc.monad.properities where

open import stlc.monad.properities.monadIdL public
open import stlc.monad.properities.monadIdR public
open import stlc.monad.properities.monadAssoc public