Funny thought. The engine’s resolution strategy feels a bit like programming in Scala, if you can only use implicits. If you squint at it, Subject ~ current scope, Product ~ implicit type to be bound.