HList Codecs 

TODO