You don’t need to make the type <: Function to work with map. Cf a question I asked recently:
<: Function
map