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