Elixir's “Set Theoretical Type System” prototype/demo/showcase