Fixed types, fixed example