14a1af9d9909dc47dc7fee6b0170b7ac0aef85daChristian MaederA__s :: (*, data)
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuA__t :: (*, data)
950e053ba55ac9c7d9c26a1ab48bd00202b29511Christian MaederPrelude.A__s |-> Prelude.A__s, Type [A__s] []
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederPrelude.A__t |-> Prelude.A__t, Type [A__t] []
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederA__s |-> Prelude.A__s, Type [A__s] []
a6f84880cea4485fba85b521d122eba73b0df70bChristian MaederA__s |-> Prelude.A__s, con of A__s
74a946e10a4b324c10d7a59f84298afbcae9b3cfChristian MaederA__t |-> Prelude.A__t, Type [A__t] []
72b9099aeec0762bae4546db3bc4b48721027bf4Christian MaederA__t |-> Prelude.A__t, con of A__t
c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian Maedermodule Dummy where
35597678f1c9da703de8d0b6b66ea63247ebe884Christian Maederdata A__s = A__s
f26a1fc3851297e6483cf3fb56e9c0967b8f8b13Christian Maederdata A__t = A__t
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maedera = error{-A__s-} "a"
6b1153c560b677f9f5da2a60ee8a10de75ff90c5Christian Maederx = error{-A__s-} "x"
f26a1fc3851297e6483cf3fb56e9c0967b8f8b13Christian Maedery = error{-A__t-} "y"
35597678f1c9da703de8d0b6b66ea63247ebe884Christian Maederc = snd (x, y)