copilot-core-3.0: An intermediate representation for Copilot.
Copilot.Core.Error
impossible :: String -> String -> a Source #
badUsage :: String -> a Source #