Purely functional maps implemented in PureScript