module TypeWildcards where import Prelude type Test = _