compiles, but doesn't do much interesting things re:type-checking