Make WList a recursive type