FiniteMap.curry 28.5 KB