That’s how most of the arrow data types are also m...

# arrow

[raulraja]

That’s how most of the arrow data types are also modeled except for in Arrow most of them are generic so they are GADTs, in this case is a simple ADT but you can make the hierarchy parametric to chain computation or build more complex in and out types of the algebra.