tcfail112.hs:11:6:
Constructor ‘S’ does not have the required strict field(s): y
In the expression: S {}
In an equation for ‘s1’: s1 = S {}
tcfail112.hs:12:6:
Constructor ‘S’ does not have the required strict field(s): y
In the expression: S {x = 3}
In an equation for ‘s2’: s2 = S {x = 3}
tcfail112.hs:14:6:
Constructor ‘T’ does not have the required strict field(s)
In the expression: T {}
In an equation for ‘t’: t = T {}