range: documentation and type decoupling
Monad: documentation
sandbox: Another attempt to dispatching for Comparable