Post #2735434

@byorgey@mathstodon.xyz I guess `lzw3` is the more natural one. Given ``` data OneOrBoth a b = This a | That b | Those a b ``` then it is equivalently ``` lzw3 :: (OneOrBoth a b -> c) -> [a] -> [b] -> [c] ```