Error found:
in module Main
at tests/purs/failing/ClassHeadNoVTA6c.purs:16:19 - 16:33 (line 16, column 19 - line 16, column 33)

  No type class instance was found for
                             
    Main.MultiCoveringSets t3
                           t4
                           c1
                           d2
                           t5
                           f0
                             
  The instance head contains unknown type variables.

  Note: The following type class members found in the expression require visible type applications to be unambiguous (e.g. tyClassMember @Int).
    Main.partialOfFESet
      One of the following sets of type variables:
        a, b
        e

while checking that type forall (t58 :: Type) (t59 :: Type) (@a :: Type) (@b :: t58) (@c :: Type) (@d :: Type) (@e :: t59) (@f :: Type).
                           MultiCoveringSets @t58 @t59 a b c d e f => f                                                                 
                                                                      -> { c :: c                                                       
                                                                         , d :: d                                                       
                                                                         }                                                              
  is at least as general as type f0          
                                 -> { c :: c1
                                    , d :: d2
                                    }        
while checking that expression partialOfFESet
  has type f0          
           -> { c :: c1
              , d :: d2
              }        
in value declaration partialOfFESet'

where c1 is a rigid type variable
        bound at (line 16, column 19 - line 16, column 33)
      d2 is a rigid type variable
        bound at (line 16, column 19 - line 16, column 33)
      f0 is a rigid type variable
        bound at (line 16, column 19 - line 16, column 33)
      t3 is an unknown type
      t4 is an unknown type
      t5 is an unknown type

See https://github.com/purescript/documentation/blob/master/errors/NoInstanceFound.md for more information,
or to contribute content related to this error.