:: a -> b package:type-map