Undecidable type systems

Source: Clemens Fruhwirth

This image was previously found at the following links:

• https://spl.smugmug.com/Humor/Lambdacats/i-sFRhzX6
• http://arcanux.org/lambdacats/undecidable.jpg