Recursive pattern matching for taggedSum's - Poor mans GADT (not exactly the same thing, but similar-ish).