Animation #10

[DecentralizedReality]

Static Type Check -
Animation to show expression type being known at compile-time vs run-time. Show that errors are found before running.
Show examples of type inference that Haskell automatically does. Show how this helps out the programmer by suggesting more concise code. Illustrate type signature example for Triple function and subsequent examples with error and polymorphism reference.