AA
data Foo = Bar | Baz | Quux | Puk | Kek
f :: Foo -> Bool
f Bar = True
f Baz, Quux, Puk, Kek = False
Типа как _, но не _.
Size: a a a
AA
data Foo = Bar | Baz | Quux | Puk | Kek
f :: Foo -> Bool
f Bar = True
f Baz, Quux, Puk, Kek = False
VD
AV
AV
VD
AA
VD
VD
VD
f c1, c2, ...cn = v
->
f c1 = v
f c2 = v
...
f cn = v
AA
AA
AA
AA
AA
VD
VD
VD
VD
AA