Implicits in RecordTypeMode don't have explicit return types. We should be explicit about return types in implicits, otherwise less than optimal things happen in the compiler