20070701-1

 module Bug where

 f : {a b : Set} -> a -> b -> b
 f n n = n