Any other ML programmers look at this and see a very verbose discriminated union?