OrdList
data OrdList a
nilOL
isNilOL
unitOL
appOL
consOL
snocOL
concatOL
lastOL
mapOL
fromOL
toOL
foldrOL
foldlOL