And <@U4UGS5FC7> proposes support for this under "...

# arrow

[simon.vergauwen]

And @raulraja proposes support for this under "Typeclasses over type constructors" but I saw no feedback about this in the comments. Because I agree that this unveils the true power I was wondering if this was deemed good by everyone.