profunctor-extras-3.0: src/Data/Profunctor/Trace.hs

{-# LANGUAGE GADTs #-}
module Data.Profunctor.Trace
  ( Trace(..)
  ) where

-- | Coend of profunctor from Hask -> Hask
data Trace f where
  Trace :: f a a -> Trace f