type a
type a = _
type a = !