infer impure for functions returning `Unit` #14

Closed mlutze closed 2 years ago