Implicit parameters and extractors