purescript/purescript-maps — pull request #22 by hdgarrood (2014-12-05 08:53:37+00:00)
Title: add 'size' to Data.Map

Not sure if this is the best way to do it, but I feel like `size` ought to be in this module.