Try example from Odersky's book
ADT for Raúl's toy problem