Shift typeclass conformance