Enabled sum-types tests