WIP

Author: sobolevn

docs/pages/concept.rst

@@ -142,8 +142,12 @@ Type resolution order
 Here's how typeclass resolve types:
 
 1. We try to resolve exact match by a passed type
-2. Then we try to match passed type a given protocols, first match wins
-3. Then we traverse ``mro`` entries of a given type, first match wins
+2. Then we try to match passed type with ``isinstance``
+   against types that support it, like protocols and delegates,
+   first match wins
+3. Then we traverse ``mro`` entries of a given type,
+   looking for ones we can handle,
+   first match wins
 
 We use cache, so calling typeclasses with same object types is fast.