This operator might be used for the type system
Like be the paper “https://www.irif.fr/_media/users/gduboc/elixir-types.pdf”