A monadic system for the Elixir language