Methods
bar :: (a, b, (a, b, a)) -> (a, b, Bool) -> (a, b, a) #
bar' :: (a, b, (a, b, (a, b, a))) -> (a, b, (a, b, (a, b, b))) #
bar0 :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c)) #
bar1 :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c)) #