Yes, this is OK. For functions it is also not decidable, or for streams, etc.