agda2hs-1.4: lib/base/Haskell/Law/Functor.agda

module Haskell.Law.Functor where

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