The convention is that there are no (or only trivial) implementation in the syntax traits. Please move the implementations to the type classes and change these to simply forward to the type class.