Reintroduce function syntax

Now that Type is the actual return type, it cannot be abstract
such that we can use the function signature notation again which
also allows to have a default value for the Key type.