-- @shouldFailWith UnknownName module Main where import Thingy as Thing main = Thing.doesntExist "hi"