1test = True && (case True of
2   False -> _
3   True -> _)
4