relax constraints for `random` and `MonadRandom`