TysPrim.lhs 26 KB