{-# OPTIONS --cubical-compatible #-}
module Class.Applicative where
 
open import Class.Applicative.Core public
open import Class.Applicative.Instances public