GENERIC IMPLEMENTATION MODULE GBox; CLASS IMPLEMENTATION Box; PROCEDURE Put(x : T); BEGIN v := x END Put; PROCEDURE Get() : T; BEGIN RETURN v END Get; END Box; END GBox.