https://counterexamples.org/
Show type-system problematic examples. Useful for testing a type system expressivity.