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


-- | The type-level S combinator in Haskell.
--   
@package ess
@version 0.1.0.0

module Data.Ess
newtype Ess (x :: * -> * -> *) (y :: * -> *) (z :: *)
Ess :: x z (y z) -> Ess
runEss :: Ess -> x z (y z)

module Data.Ess.Examples
enlist :: Ess (->) [] Int
censor :: String -> Ess Either Maybe String