why is it not f: T -> R
# getting-started
f
why is it not f: T -> R