Fun is a strongly typed programming language because it either is fun or it is not.