An experimental language conflating type qualifiers with modules [BSD license]