public final function interpreters() { return array_map(function ($i) { return [$i]; }, $this->implementations); }