Relax most package constraints

Let's try to lazily evaluate problems instead of proactively attempting to
prevent the unknown. In the future, introduce constraints conservatively. The
interdependent constraints of our deps will handle most of the necessary work.
Plus, we are only re-exporting most modules, so we don't expect many problems.
Remove explicit Monoid functions and fromText

The latter is replaced by toFilePath.