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

open import Class.Functor.Core public
open import Class.Functor.Instances public