1test :: Bool -> ()
2test = _
3