nothing property

F get nothing

Implementation

F get nothing => pure(unit);