Multi-key multi-value store for Haskell native data types with type safe interface.