*** Exception: Prelude.undefined
x :: t = *** Exception: Prelude.undefined
y :: Integer = 3