1reassoc :: (a, (b, c)) -> ((a, b), c) 2reassoc (a, (b, c)) = [wingman| split; split | assume c; assume a | assume b |] 3