Yes and I’m a huge fan of the movement towards those kind of type systems. I was more commenting on this because I feel like those kind of types frequently get

Yes and I’m a huge fan of the movement towards those kind of type systems. I was more commenting on this because I feel like those kind of types frequently get lumped in FP vs OO when there’s more nuance to it