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

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