General.Bilist
data
Bilist
a
cons
snoc
uncons
unsnoc