==================== Renamer ====================
Test.q :: IO ()
Test.q
  = do a <- return ()
       return $ (\ _ -> ()) a