Hibernate' is a functional relational mapper for Haskell.