type Language = Elixir | Elm | Both perks: Language -> String perks language = case language of Elixir -> "Easy concurrency!" Elm -> "No runtime errors!" Both -> "Elchemy" Elchemy lets you write simple, fast and quality type safe code while leveraging both the Elm's safety and Elixir's ecosystem.