Agda.Compiler.MAlonzo.Encode
encodeModuleName
tests