Move Implicit to ...Class module
Add applyM to Arity type class