. . . "Again the system infers the type, saying height is a function that takes a BinTree of whatever type and returns an int." . .