infer results of a pattern from implicit defs. This allows you to do something