> Haskell and, IIRC, Rust allow you to declare that a certain data type conforms to some interface ... I believe at least in the case of Haskell, you are refer

> Haskell and, IIRC, Rust allow you to declare that a certain data type conforms to some interface ... I believe at least in the case of Haskell, you are referring to type classes[0]. 0 - https://wiki.haskell.org/OOP_vs_type_classes https://wiki.haskell.org/OOP_vs_type_classes