Implement interface of (my use case of) higher-order matching