wat :: a -> b
wat a = [wingman| with_arg, assumption |]