module Cubical.Categories.Profunctor where

open import Cubical.Categories.Profunctor.Base public