module ShouldSucceed where

f x@_ y@_ = x
