Avatar
HConsHNil の二つがあればいいんじゃない?