Removes an unused type parameter from Nondeterminism aggregate calls.

Also permit monoid instance for Nondeterminism aggregate calls to be implicit.