This article explores the design decisions of typing lists and tuples in Elixir within a sound gradual type system