module ShouldSucceed where

n True = 1
n False = 0