Remove return types removing warnings

src/monads/either.cr

@@ -28,11 +28,11 @@ module Monads
       Right.new(value)
     end
 
-    abstract def value_or(element : U) : T | U forall U
+    abstract def value_or(element : U) forall U
     abstract def or(monad : Either)
     abstract def <=>(other : Right)
     abstract def <=>(other : Left)
-    abstract def map_or(default : U, lambda : T -> U) : U forall U
+    abstract def map_or(default : U, lambda : T -> U) forall U
   end
 
   struct Right(T) < Either(Nil, T)
@@ -71,7 +71,7 @@ module Monads
       lambda.call(self.value!)
     end
 
-    def map_or(default : U, lambda : T -> U) : U forall U
+    def map_or(default : U, lambda : T -> U) forall U
       lambda.call(value!)
     end
   end
@@ -101,7 +101,7 @@ module Monads
       self
     end
 
-    def map_or(default : U, lambda : _ -> _) : U forall U
+    def map_or(default : U, lambda : _ -> _) forall U
       default
     end
   end
@@ -152,7 +152,7 @@ module Monads
       self
     end
 
-    def map_or(default : U, lambda : _ -> _) : U forall U
+    def map_or(default : U, lambda : _ -> _) forall U
       default
     end
   end
@@ -207,7 +207,7 @@ module Monads
       self
     end
 
-    def map_or(default : U, lambda : _ -> _) : U forall U
+    def map_or(default : U, lambda : _ -> _) forall U
       default
     end
   end

src/monads/functor.cr

@@ -1,5 +1,5 @@
 module Monads
   abstract struct Functor(T)
-    abstract def fmap(lambda : T -> U) : Functor(U)
+    abstract def fmap(lambda : T -> U)
   end
 end

src/monads/maybe.cr

@@ -12,7 +12,7 @@ module Monads
       !just?
     end
 
-    def self.return(v : T) : Just(T)
+    def self.return(v : T)
       Just.new(v)
     end
 
@@ -23,9 +23,9 @@ module Monads
     abstract def <=>(other : Nothing)
     abstract def <=>(other : Just)
     abstract def to_s
-    abstract def or(default : Maybe) : Maybe
-    abstract def value_or(default : U) : T | U forall U
-    abstract def map_or(default : U, lambda : T -> U) : U forall U
+    abstract def or(default : Maybe)
+    abstract def value_or(default : U) forall U
+    abstract def map_or(default : U, lambda : T -> U) forall U
   end
 
   struct Just(T) < Maybe(T)
@@ -36,7 +36,7 @@ module Monads
       @data
     end
 
-    def fmap(lambda : T -> U) : Just(U) forall U
+    def fmap(lambda : T -> U) forall U
       Just.new(lambda.call(@data))
     end
 
@@ -56,7 +56,7 @@ module Monads
       1
     end
 
-    def bind(lambda : T -> Maybe(_)) : Maybe
+    def bind(lambda : T -> Maybe(_))
       lambda.call(value!)
     end
 
@@ -68,7 +68,7 @@ module Monads
       Just.new(value!)
     end
 
-    def or(lambda : -> _) : Maybe(T)
+    def or(lambda : -> _)
       Just.new(value!)
     end
 
@@ -78,7 +78,7 @@ module Monads
   end
 
   struct Nothing(T) < Maybe(T)
-    def fmap(lambda : _ -> U) : Nothing forall U
+    def fmap(lambda : _ -> U) forall U
       Nothing(U).new
     end
 
@@ -98,7 +98,7 @@ module Monads
       -1
     end
 
-    def bind(lambda : _ -> Maybe(U)) : Maybe forall U
+    def bind(lambda : _ -> Maybe(U)) forall U
       Nothing(U).new
     end
 

src/monads/monad.cr

@@ -7,7 +7,7 @@ module Monads
       raise NotImplementedError.new("implement `#{Monad(T)}::return` method")
     end
 
-    abstract def bind(lambda : T -> Monad(U)) : Monad(U) forall U
+    abstract def bind(lambda : T -> Monad(U)) forall U
 
     def |(other : _ -> Monad(U)) forall U
       self.bind(other)