agda2hs-1.3: lib/Haskell/Law/Monad.agda

module Haskell.Law.Monad where

open import Haskell.Law.Monad.Def    public
open import Haskell.Law.Monad.Either public
open import Haskell.Law.Monad.IO     public
open import Haskell.Law.Monad.List   public
open import Haskell.Law.Monad.Maybe  public