test10: singleton types or something like that