Wow! Apparently, ApplyImplicitView and ApplyToImplicitArgs are quite okay
implicit parameters no longer have the Implicit mod