Allow for the specification of monad generic functions in InterpreterContext.

[Sintrastes]

Currently these have to be specified one-by one, e.x. a forEach for IO, a forEach for List, etc...

It would be really nice if we could specify these polymorphically somehow. I'm not entirely sure how that would work.

[Sintrastes]

Note: This might be useful for this.

https://hackage.haskell.org/package/rank1dynamic