1 2 3 4 5 6 7 8 9
module ShouldSucceed where data Boolean = FF | TT idb :: Boolean -> Boolean idb x = x