module Cubical.Categories.Profunctor.StrictHom where

open import Cubical.Categories.Profunctor.StrictHom.Base public