Comment by Graffur

So types solve this right? Or am I misunderstanding?