@miha-x64 I've played around with it and I don't think this is possible only with function types, because the declaration would have to be recursive.