How to use the sanctuary-type-classes.Filterable function in sanctuary-type-classes

test ('Filterable', () => {
    eq (Z.Filterable.test (Left ([]))) (false);
    eq (Z.Filterable.test (Right ([]))) (false);
  });

test ('Filterable', () => {
    eq (Z.Filterable.test (Nothing)) (true);
    eq (Z.Filterable.test (Just (Useless))) (true);
  });

test ('Filterable', () => {
    eq (Z.Filterable.test (Nothing)) (true);
    eq (Z.Filterable.test (Just (Useless))) (true);
  });

test ('Filterable', () => {
    eq (Z.Filterable.test (Identity ([]))) (false);
  });

test ('Filterable', () => {
    eq (Z.Filterable.test (Left ([]))) (false);
    eq (Z.Filterable.test (Right ([]))) (false);
  });

annihilation: assert.forall2 (function(v, w) {
      return Z.Filterable.test (v) &&
             Z.Filterable.test (w) &&
             equals (filter (K (false)) (v),
                     filter (K (false)) (w));
    })

distributivity: assert.forall3 (function(v, p, q) {
      return Z.Filterable.test (v) &&
             equals (filter (function(x) { return p (x) && q (x); }) (v),
                     filter (q) (filter (p) (v)));
    }),