( |ModOf|_| ) t
( |ModRefOf|_| ) t
matches all types implementing IMod<'a> and extracts typeof<'a> using reflection.