final
object
Empty
extends
Space
with
Product0
Empty space