Russell's paradox in Agda.