Length: about 30 minutes
If you are coming to Elm from JavaScript or other weekly types languages you are probably used to doing Test Driven Development but Elm is a strongly typed language with a rich type system. In Elm it is often possible to use the compiler to do Type Driven Development where our invariants are created by creatively using