{-# LANGUAGE ScopedTypeVariables #-}

errors= do
  let ls :: Int = undefined
  return ()