Data.HList

data HList as

class HNth as n