Both when creating contexts and when looking up Rust types from Haskell types, we should expand out Haskell type synonyms. The arguments against doing this are:
- we have to redo some work GHC's typechecker is doing
- there is asymmetry: the Rust side doesn't support type synonyms
Both when creating contexts and when looking up Rust types from Haskell types, we should expand out Haskell type synonyms. The arguments against doing this are: