@hackage ess0.1.0.0

The type-level S combinator in Haskell.