functions returning no value no longer need ': Nothing'