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