|
|
|
|
|
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. |
|