Barf if typePredicates are given the wrong argument counts