Type inference of all constructs in Elixir | Heykuki News