type a;
type a = _;
type a = !;