undefined type 'Filter'

[Spencer Salazar]

The following code:

Filter u => blackhole;

fails with

[Filter.ck]:line(1): undefined type 'Filter'...
[Filter.ck]:line(1): ... in declaration ...

Either fix Filter or remove it from documentation.