module ShouldSucceed where

o (True,x) = x
o (False,y) = y+1