[Haskell'26] Coercive Subtyping for Implicit Functorial Programming
ACM SIGPLAN · 28:51
The talk asks whether a type checker could insert missing fmaps automatically, using coercive subtyping, without changing what programs do. For a small system with arrows, one functor and Bool, the speaker proves that...