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