kempe-0.1.1.2: src/Data/Copointed.hs

module Data.Copointed ( Copointed (..)
                      ) where

class Copointed p where
    copoint :: p a -> a