module TypeWildcards where

type Test = _