1foo :: a -> (b, a)
2foo a = [wingman| split; try (assumption) |]
3