build has warnings

The addition of `filtered` has caused some warnings on build:

```
[1/2 UnusedTypeVar] 

  Type variable b is ambiguous, since it is unused in the polymorphic type which introduces it.
  
  in type declaration for filtered

[2/2 ShadowedName] 

  Name a was shadowed.
  
  in value declaration filtered
```