You mean like, typechecked heterogeneous lists?
# arrow
p
You mean like, typechecked heterogeneous lists?