:: a -> () package:type-map