Making use of return type ascriptions on procedures