-- bug: we used to throw away the instance accidentally here
:m PrelBase
1 == (2 :: Int)
1 == (2 :: Int)