Hi there, does someone knows the name of one type ...

# arrow

[aballano]

Hi there, does someone knows the name of one type of functional heterogeneous-list that preserves the types of each element? and is it included in arrow already? 🙂