oops
do not require checking for 0-ary tycons