st2 (hackage): ST2 monad as described in the functional pearl "Ghosts of Departed Proofs"
Keywords: bsd3|data|library