Add a quick breakdown, in English, of the trait bounds of a Handler impl

odilia/src/tower.rs

@@ -37,6 +37,7 @@ where
         self()
     }
 }
+
 impl<F, Fut, S, E> Handler<(Request,), S, E> for F 
 where
     F: FnOnce(E) -> Fut + Clone + Send + 'static,
@@ -60,6 +61,13 @@ where
         self(req, (&state).into())
     }
 }
+// breakdown of the various type parameters:
+//
+// F: is a function that takes E, T1, T2 (all of which are generic)
+// T1, T2: are type which can be created infallibly from a reference to S, which is generic
+// S: is some state type that implements Clone
+// Fut: is a future whoes output is Result<Response, Error>, and which is sendable across threads
+// statically
 impl<F, Fut, S, T1, T2, E> Handler<(Request,T1,T2), S, E> for F 
 where
     F: FnOnce(E, T1, T2) -> Fut + Clone + Send + 'static,