module ShouldSucceed where


data Boolean = FF | TT


idb :: Boolean -> Boolean
idb x = x      

