Bug8

data Typ

(-->)

(--->)

s

t

main