some more singleton types