Adding the type to the Signature of a function