I'm not sure if we can hook into the compiler erro...

# arrow

[raulraja]

I'm not sure if we can hook into the compiler error reporting via a compiler plugin, but we could replace with a plugin those kinds of errors with explicit messages telling the user to add .ev() because it needs to go from the higher kinded representation to the actual type that extends the kind marker.