A Relational Model embedding (with extensions) in Haskell