[efnx]

In short, yes. You give it an example of the types involved. Instead of "hi" -> "HI" you give String -> String.