module ShouldSucceed where

(r,s) = (1,'a')