* Introduce type variable r to AppT, ConnectionM and Handler

* Use IO instead of constrained monad for running an action

- This is to work around the issue of an otherwise imposed constraint of
`Typeable effs`

* Add a changelog