module Prelude(Eq(..)) where instance Eq Float where a == b = a == b --- MAGIC a /= b = a /= b --- MAGIC