Define flatMap (bind) and orElse (plus) on NondetT to aid inference
Replace hoistMaybe with scalaz's orEmpty