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


-- | Universal
--   
--   Universal
@package universal
@version 0.0.1.0

module Data.Universal

-- | Laws:
--   
--   <ul>
--   <li><pre>f = <a>Functor</a> (<a>universal</a> f) . <a>getConst</a>
--   <a>morphism</a></pre></li>
--   </ul>
class Functor s t f => Universal (s :: α -> α -> *) (t :: β -> β -> *) (x :: β) (f :: α -> β) where {
    type family Element s t x f :: α;
}
morphism :: Universal s t x f => Const (t x (f (Element s t x f))) s
universal :: Universal s t x f => t x (f a) -> s (Element s t x f) a
instance Data.Universal.Universal (Control.Category.Const2.Const2 ()) (->) () (Data.Functor.Const.Const ())