:seti -fprint-explicit-foralls
:type id