core-typed 2022-05-02

I guess the answer is possibly doable, but definitely non-trivial.

😄 1