Check.lhs 25.2 KB