1data ABC = A | B | C 2 3many :: () -> Either a b -> Bool -> Maybe ABC -> ABC -> () 4many () (Left a) False Nothing A = _w0 5many () (Left a) False Nothing B = _w1 6many () (Left a) False Nothing C = _w2 7many () (Left a) False (Just abc') A = _w3 8many () (Left a) False (Just abc') B = _w4 9many () (Left a) False (Just abc') C = _w5 10many () (Left a) True Nothing A = _w6 11many () (Left a) True Nothing B = _w7 12many () (Left a) True Nothing C = _w8 13many () (Left a) True (Just abc') A = _w9 14many () (Left a) True (Just abc') B = _wa 15many () (Left a) True (Just abc') C = _wb 16many () (Right b') False Nothing A = _wc 17many () (Right b') False Nothing B = _wd 18many () (Right b') False Nothing C = _we 19many () (Right b') False (Just abc') A = _wf 20many () (Right b') False (Just abc') B = _wg 21many () (Right b') False (Just abc') C = _wh 22many () (Right b') True Nothing A = _wi 23many () (Right b') True Nothing B = _wj 24many () (Right b') True Nothing C = _wk 25many () (Right b') True (Just abc') A = _wl 26many () (Right b') True (Just abc') B = _wm 27many () (Right b') True (Just abc') C = _wn 28