Map data structure in PureScript types