1test :: Bool -> Bool
2test = \b -> _
3
4