module Furnace class Type::Bottom < Type::Top def subtype_of?(other) other.is_a?(Type::Top) end def to_s 'bottom' end end end