HCons<Int, HCons<String, HCons<Bool, HNil>>>とHCons<Int, HCons<String, HCons<Bool, HNil>>>があったら、アペンドするとHCons<Int, HCons<String, HCons<Bool, HCons<Int, HCons<String, HCons<Bool, HNil>>>>>>という型が帰ってくる関数です。HCons<Int, HCons<String, HCons<Bool, HNil>>>とHCons<Int, HCons<String, HCons<Bool, HNil>>>があったら、アペンドするとHCons<Int, HCons<String, HCons<Bool, HCons<Int, HCons<String, HCons<Bool, HNil>>>>>>という型が帰ってくる関数です。