ψ is just another custom Haskell prelude. It is inspired by
Ambiata's p and has the same focus on
promoting use of safe constructs and avoidance of partial functions,
but differs in approach. Most significantly,
ψ follows the Haskell
policy and is
intended for release on Hackage.