module Copointed
  ( -- * Copointed
    Copointed(..)
  ) where

import Data.Copointed (Copointed(copoint))