たとえば HCons<Int, HCons<String, HCons<Bool, HNil>>> とは、先頭の値の型が Int であり、かつ2番目の値の型が String であり、そして3番目の値の型が Bool であることを示している。