Comment by whyonearth

Only if your language supports dependent types.