alas more typechecks