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