I'm not entirely sure what you mean: You're right that the second example won't currently compile with the host backends. Are you suggesting to leave out this (therefore misleading) code example and only talk about the concept?