let y = object method m: 'a. 'a -> 'a list = fun x -> [x] end