=====================================
Type Class, With Sequence Restriction
=====================================

module corpus_test_typeclass is

  class Option (Integer <- PartialEq + Eq + PartialOrd + Ord)

end

---

(module
  (identifier)
  (module_body
    (type_class_def
      (identifier)
      (type_parameter
        (identifier)
        (type_parameter_restriction
          (identifier_reference
            (identifier)))
        (type_op_combiner)
        (type_parameter_restriction
          (identifier_reference
            (identifier)))
        (type_op_combiner)
        (type_parameter_restriction
          (identifier_reference
            (identifier)))
        (type_op_combiner)
        (type_parameter_restriction
          (identifier_reference
            (identifier)))))))
