Dependent types. You think I'm joking, but check back in ten years...