HCons と HNil の二つがあればいいんじゃない？