data HList as

class HNth as n

type family Map f as

class HMap as f g

class HLookup n as