nobody top-level property

Nobody nobody
final

Implementation

final Nobody nobody = Nobody();