Hello, I want to declare a type thus: type Coordinate = (Int, Int) But the two integers must be confined to the inclusive range 0-11. Can i express that in the type system? -- Colin Adams Preston Lancashire