module ShouldSucceed where

data Boolean = FF | TT

idb :: Boolean -> Boolean
idb x = x      

