module Proarrow.Category (
  CAT
  , CategoryOf(..)
  , dimapDefault
)
where

import Proarrow.Core