{-# OPTIONS --safe #-}

module Cubical.Categories.Profunctor where

open import Cubical.Categories.Profunctor.Base public