Agda.Compiler.HaskellTypes