profunctor-extras-0.3.0: 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