fun of constant types