Add Concurrently and its instances using constraints package

@feuerbach managed to write the Applciative instance for
Concurrently with StM m a ~ a constraint.
See https://gist.github.com/feuerbach/62d5a4f8c25e493c6db1