module Control.Functor.Extractable (Extractable (..)) where

class Extractable (t :: * -> *) where
	extract :: t a -> a