typechecking throws too many warnings