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