Fix (ie delete) bad type signatures

src/Erl/Data/Map.purs

@@ -72,19 +72,13 @@ fromFoldable :: forall f k v. Ord k => Foldable f => f (Tuple k v) -> Map k v
 fromFoldable = foldl (\m (Tuple k v) -> insert k v m) empty
 
 instance foldableMap :: Foldable (Map a) where
-  foldr :: forall a b. (a -> b -> b) -> b -> f a -> b
   foldr f z m = foldr f z (values m)
-  foldl :: forall a b. (b -> a -> b) -> b -> f a -> b
   foldl f = fold (\z _ -> f z)
-  foldMap :: forall a m. Monoid m => (a -> m) -> f a -> m
   foldMap f = foldMap (const f)
 
 instance foldableWithIndexMap :: FoldableWithIndex a (Map a) where
-  foldrWithIndex :: forall a b. (i -> a -> b -> b) -> b -> f a -> b
   foldrWithIndex f = fold (\b i a -> f i a b)
-  foldlWithIndex :: forall a b. (i -> b -> a -> b) -> b -> f a -> b
   foldlWithIndex f = fold (\b i a -> f i b a)
-  foldMapWithIndex :: forall a m. Monoid m => (i -> a -> m) -> f a -> m
   foldMapWithIndex = foldMap
 
 instance traversableMap :: Traversable (Map a) where

test/Main.purs

@@ -3,10 +3,12 @@ module Test.Main where
 import Prelude
 
 import Data.Maybe (Maybe(..))
+import Effect (Effect)
 import Erl.Data.List (nil, (:))
 import Erl.Data.Map as Map
 import Test.Assert (assertEqual)
 
+main :: Effect Unit
 main = do
   assertEqual { actual: Map.lookup 42 (Map.insert 42 "abc" Map.empty)
               , expected: Just "abc"