!module B
y = \x : x