class ['a, _] foo : object method bar : 'a -> 'a end