Validate types produced by the static form.