For example right now you can't call `monad<F&g...

# arrow

[raulraja]

For example right now you can't call monad<F>() inside a class unless you tell it what F is even though F may be a type argument to the class.