unit role Red::Type;

method is-red-type(|) { True }
method red-type-accepts(Any:U --> Bool) { ... }