Basic type classes
HList partial implementation
Trying to get the type for HCons working correctly
Code works now