Fix type class index propagation bug
...which lead to implicit arguments not being spotted.
Fixes #402