Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen