<div dir="ltr">-1(*inf)<div><br></div><div>Downsides:</div><div>1. New way to make a Haskell expression that makes no semantic sense `length (1, 2)`, and it still evaluates.<br></div><div><div>2. New trick interview question that makes interviewers hated for being impractical. (Just like `join (*)`.)</div></div><div>3. Confuse hell out of beginners and practitioners alike.</div><div><br></div><div>Upside:</div><div>1. One Canonical(tm) Functor instance for tuple, and pope's own claim that the other instance does not fit in our library.</div><div>2. More standard types that are Functor instances.</div><div>3. Easier to demonstrate that one can DO EVIL in Haskell too.<br>​--</div><div>  Cheers</div><div>     Michal</div></div>