Impressive! Elm can detect if you're assuming truthiness semantics,& the type checker will make helpful suggestions: https://elm-lang.org/blog/compilers-as-assistants