1test :: IO ()
2test = do
3  let x :: Bool -> Int
4      x = _
5  pure ()
6