typechecks without the PP.take 1