@@ -1,4 +1,4 @@
1−{-# LANGUAGE DefaultSignatures, DeriveDataTypeable, DeriveGeneric,
1+{-# LANGUAGE DeriveDataTypeable, DeriveGeneric,
22 GeneralizedNewtypeDeriving #-}
33
44module Types where
@@ -37,9 +37,6 @@ data Sum4 a b c d = Alt1 a | Alt2 b | Alt3 c | Alt4 d
3737class ApproxEq a where
3838 (=~) :: a -> a -> Bool
3939
40− default (=~) :: (Eq a) => a -> a -> Bool
41− (=~) = (==)
42−
4340newtype Approx a = Approx { fromApprox :: a }
4441 deriving (Show, Data, Typeable, Generic, ApproxEq, Num)
4542