fun err x = return

Bad thing!

{x}