Add version bounds on contravariant
Add back Monoid instance for Handler
Fix hang in async
Epic refactoring for great good