HasImplicitPattern
ImplicitPatterns