Add automatic derivation of HList codecs