Done typechecking, or so it seems.