dev-lang/idris: workaround a bug on ghc-7.8

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>