:: Int -> Float package:type-map