pandora-0.1.0: Pandora/Pattern/Functor/Extractable.hs

module Pandora.Pattern.Functor.Extractable (Extractable (..)) where

import Pandora.Pattern.Functor.Covariant (Covariant)

class Covariant t => Extractable t where
	extract :: t a -> a