1data ADT = One | Two Int | Three | Four Bool ADT | Five 2 3case_split :: ADT -> Int 4case_split One = _ 5case_split (Two i) = _ 6case_split Three = _ 7case_split (Four b a) = _ 8case_split Five = _ 9