typechecking for $post and others