failed attempt to verify arities. Made note explaining why we can't do this yet