[Agda] Using Haskell type class constraints with Agda types

[Alexander Ben Nasrallah]

Hi Ulf,

Thanks a lot.

Looks like the first web server written in Agda is only a matter of time
then ^^

Alex