Author: Catarina Coquand
Title: Overloading in Agda
Abstract: 
We will present a suggestion for overloading in Agda. The motivation
for this work was that we wanted to add built-in types for Agda
such as Integer, Rational, Character and Strings. It is natural for
these types to have overloaded symbols, for example +. 
The solution taken is type-classes similar to Haskell. By translating the
classes and their instances to signatures and records that already
exists in Agda, we don't have to change the theory for the language.
Beside the overloaded functions for built/in types we will also 
show programs with states represented in a monadic style.