2 Apr
2019
2 Apr
'19
3:16 a.m.
On 02/04/2019 04:28, Fumiaki Kinoshita wrote:
I submitted https://gitlab.haskell.org/ghc/ghc/merge_requests/644 but it might be still controversial. I'd like to get more opinions again.
Here's the list of proposed instances:
||||||Foldable ((,,) a b)| ||||| |||||||Foldable ((,,,) a b c)| |||||| ||||||||Traversable ((,,) a b)| ||||||| |||||||||Traversable ((,,,) a b c)| ||||||||
Presumably these would leave us with things like length (2,3,4) = 1 ? If so I'm a weak -1; it's awful but the ship has already sailed with pairs, so maybe consistency beats more "wat" moments. Cheers, Ganesh| |