Доброе время суток.

Уча сабж, вот уже около часа не могу понять что означает следующее выражение:

datatype ('a, 'b)sum = In1 of 'a | In2 of 'b

Кто-нибудь, объясните плиз