Add support for monad-control >= 1.0
Compatibility for base-4.8

Just an instance of the -XOverloadStrings w/ Foldable type-inference
issue...
Bump upper bound to allow `time-1.5`