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