således att bestämma typerna på ett rationeltsätt