I like using rational types for that sort of thing.