serialization :: B :: defaultinit
# A business object associated with an `A`. class B super E serialize # A business association var a: A end