('a, 'b) IO.input -> object method available : int method close : unit method nread : int -> 'b method pos : int method read : 'a end