Applicative.agda

module Haskell.Law.Applicative where

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