This intention adds an explicit type specification for functions.