-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A functor, where the "stored" value is isomorphic to Identity
--   
--   A functor, where the "stored" value is isomorphic to Identity
@package extractable-singleton
@version 0.0.1

module Data.Singleton.Class
class Extractable (f :: * -> *)
runSingleton :: Extractable f => f a -> a
instance Data.Singleton.Class.Extractable ((,) e)
instance Data.Singleton.Class.Extractable ((,,) w s)
instance Data.Singleton.Class.Extractable Data.Functor.Identity.Identity
instance (Data.Singleton.Class.Extractable f, Data.Singleton.Class.Extractable g) => Data.Singleton.Class.Extractable (Data.Functor.Compose.Compose f g)