He's literally building a type system for Elixir. What the hell are you talking about?