@@ -42,7 +42,7 @@ module Prelude where
4242 \ return n.toString();\
4343 \}" :: Number -> String
4444
45− instance Prelude.Show Number where
45+ instance Show Number where
4646 show = showNumber
4747
4848 class Read a where
@@ -439,22 +439,22 @@ module Data.Maybe where
439439 maybe _ f (Just a) = f a
440440
441441 fromMaybe :: forall a. a -> Maybe a -> a
442− fromMaybe a = maybe a (Prelude.id :: forall a. a -> a)
442+ fromMaybe a = maybe a (id :: forall a. a -> a)
443443
444− instance Prelude.Monad Maybe where
444+ instance Monad Maybe where
445445 return = Just
446446 (>>=) m f = maybe Nothing f m
447447
448− instance Prelude.Applicative Maybe where
448+ instance Applicative Maybe where
449449 pure = Just
450450 (<*>) (Just fn) x = fn <$> x
451451 (<*>) Nothing _ = Nothing
452452
453− instance Prelude.Functor Maybe where
453+ instance Functor Maybe where
454454 (<$>) fn (Just x) = Just (fn x)
455455 (<$>) _ _ = Nothing
456456
457− instance (Show a) => Prelude.Show (Maybe a) where
457+ instance (Show a) => Show (Maybe a) where
458458 show (Just x) = "Just " ++ (show x)
459459 show Nothing = "Nothing"
460460
@@ -468,20 +468,20 @@ module Data.Either where
468468 either f _ (Left a) = f a
469469 either _ g (Right b) = g b
470470
471− instance Prelude.Monad (Either e) where
471+ instance Monad (Either e) where
472472 return = Right
473473 (>>=) = either (\e _ -> Left e) (\a f -> f a)
474474
475− instance Prelude.Applicative (Either e) where
475+ instance Applicative (Either e) where
476476 pure = Right
477477 (<*>) (Left e) _ = Left e
478478 (<*>) (Right f) r = f <$> r
479479
480− instance Prelude.Functor (Either a) where
480+ instance Functor (Either a) where
481481 (<$>) _ (Left x) = Left x
482482 (<$>) f (Right y) = Right (f y)
483483
484− instance (Show a, Show b) => Prelude.Show (Either a b) where
484+ instance (Show a, Show b) => Show (Either a b) where
485485 show (Left x) = "Left " ++ (show x)
486486 show (Right y) = "Right " ++ (show y)
487487
@@ -651,17 +651,17 @@ module Data.Array where
651651 all _ [] = true
652652 all p (a:as) = p a && all p as
653653
654− instance (Prelude.Show a) => Prelude.Show [a] where
654+ instance (Show a) => Show [a] where
655655 show xs = "[" ++ joinWith (map show xs) "," ++ "]"
656656
657− instance Prelude.Functor [] where
657+ instance Functor [] where
658658 (<$>) = map
659659
660− instance Prelude.Monad [] where
660+ instance Monad [] where
661661 return = singleton
662662 (>>=) = concatMap
663663
664− instance Prelude.Alternative [] where
664+ instance Alternative [] where
665665 empty = []
666666 (<|>) = concat
667667
@@ -680,7 +680,7 @@ module Data.Tuple where
680680
681681 data Tuple a b = Tuple a b
682682
683− instance (Prelude.Show a, Prelude.Show b) => Prelude.Show (Tuple a b) where
683+ instance (Show a, Show b) => Show (Tuple a b) where
684684 show (Tuple a b) = "Tuple(" ++ show a ++ ", " ++ show b ++ ")"
685685
686686 curry :: forall a b c. (Tuple a b -> c) -> a -> b -> c
@@ -934,6 +934,8 @@ module Math where
934934
935935module Control.Monad.Eff where
936936
937+ import Prelude
938+
937939 foreign import data Eff :: # ! -> * -> *
938940
939941 foreign import retEff "function retEff(a) {\
@@ -956,7 +958,7 @@ module Control.Monad.Eff where
956958 \ return f();\
957959 \}" :: forall a. Pure a -> a
958960
959− instance Prelude.Monad (Eff e) where
961+ instance Monad (Eff e) where
960962 return = retEff
961963 (>>=) = bindEff
962964
@@ -1091,7 +1093,7 @@ module Debug.Trace where
10911093 \ };\
10921094 \}" :: forall r. String -> Eff (trace :: Trace | r) {}
10931095
1094− print :: forall a r. (Prelude.Show a) => a -> Eff (trace :: Trace | r) {}
1096+ print :: forall a r. (Show a) => a -> Eff (trace :: Trace | r) {}
10951097 print o = trace (show o)
10961098
10971099module Control.Monad.ST where