find by type doesn't normalize type variables

[ceedubs]

In the example below, if I find by type using e and a as the type variables for Either then I see the expected results, but if I use l and r, I do not see any results. I would expect find by type to normalize type variable names so that these return the same results.

This is using the M3 release.

.> find : Either e a -> {Throw e} a

  1. base.Either.toThrow : Either e a ->{Throw e} a
  2. stew.base.Either.toThrow : Either e a ->{Throw e} a
  3. bkp.stew.base.Either.toThrow : Either e a ->{Throw e} a
  

.> find : Either l r -> {Throw l} r

  ☝️
  
  I couldn't find exact type matches, resorting to fuzzy matching...


  😶
  
  No results. Check your spelling, or try using tab completion to supply command arguments.

.>