Hacker News new | ask | show | jobs
by Agent101 6067 days ago
There is nothing stopping you using tagged tuples in haskell. I don't think it is done so much because type signatures are very useful and cross:: (Num b)=>(a,b, b) -> (a, b, b) -> (a, b, b) is more wordy than cross :: (Point p) => p -> p -> p.

You can use newtypes but then you lose the genericness.