Hopefully our type unification algorithm will be sufficiently good that you never need to actually specify the function type, but it's useful for testing and completeness.