Is it possible to express typing rules involving unions? (I guess it would involve encoding them in lists?)

Submitted by Daco Harkes on 28 January 2015 at 14:02