{-# OPTIONS --cubical --safe #-}

module Control.Applicative.Levels where