module ShouldSucceed where

h = 1:h