https://www.cs.cmu.edu/%7Erwh/papers/mtc/short.pdf https://www.cs.cmu.edu/%7Erwh/papers/mtc/short.pdf I believe modular implicits and modular typeclasses are s

https://www.cs.cmu.edu/%7Erwh/papers/mtc/short.pdf https://www.cs.cmu.edu/%7Erwh/papers/mtc/short.pdf I believe modular implicits and modular typeclasses are similar and aim to solve the same issues, but they are not quite the same.