module ShouldSucceed where

type H = (Int,Bool)