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

import Control.Functor.Covariant (Covariant)

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