Dominic: implicit parameter -> context bound