narc-0.1: Query SQL databases using Nested Relational Calculus embedded in Haskell.
Narc.Failure
type Failure a = Either String aSource
runError :: Either String t -> tSource
type ErrorGensym a = ErrorT String Gensym aSource