object method extend : 'a -> unit end