Comment 1 for bug 1529707

Thanks for reporting.

Marking confirmed since I get similar error messages when attempting to install agda on Ubuntu Xenial. Though I don't know, it is possible this is part of the ghc transition and will be resolved once that is done. See http://people.canonical.com/~ubuntu-archive/transitions/html/ghc.html for more details.