nothing property

F nothing

Implementation

F get nothing => pure(unit);