module Cubical.Categories.Instances.Free.Category where

open import Cubical.Categories.Instances.Free.Category.Base public