: T

specifies the return value of the function it is attached to,

(T) -> K

is a function type for any function that takes

T

and returns a

K