CoreArity.lhs 21.1 KB