Embrace -XTypeInType, add -XStarIsType