let is_plain_type = function
    | Ltype ({lt_name = "set"},[_]) -> false
    | _ -> true