[vore]

I think it depends how far you go: if you start encoding rules into the type system that are undecidable then you can quickly run into trouble.

[tevon]

To me its about readability. I agree that operations on types generally are a good thing because I find them more readable. Not using operations I've found leads to many very specific types which are hard to read and understand from the devs perspective.