練習問題 3.7.4

Either a b
のチャーチ版を示せ． 





type Ceither b c a = (b -> a) -> (c -> a) -> a

left         ::  b -> Ceither b c a
left  x l _  =   l x
right        ::  c -> Ceither b c a
right y _ r  =   r y