module ShouldSucceed where

x@_ = x
