{-# OPTIONS --without-K #-}
module Class.Applicative where

open import Class.Applicative.Core public
open import Class.Applicative.Instances public