1data Many 2 = Hello { world :: String } 3 | Goodbye { a :: Int, b :: Bool, c :: Many } 4 5test :: Many -> Many 6test Hello {world} = _w0 7test Goodbye {a, b, c} = _w1 8 9