Attempt to create a function composition operator in ooc

composition1.ooc

// This does not work, rock moans that there is not enough info to resolve return type T of function call... BS if you ask me :P

operator => <T,K,V> (l: Func(V)->T, r: Func(K)->V)-> Func(K)->T {
    func(arg: K) -> T {
        l(r(arg))
    }
}

// Haskell: f = g . h
// Equivalent to f x = g (h x)

// ooc: f := g => h
// Equivalent to f := func <T,K> (arg: T) -> K { g(h(arg)) }
f := String println => SSizeT toString
f(42)

composition2.ooc

// We compromise and only make compositions that return nothing... This passes ooc compilation but fails at C compilation :-(

operator => <K,V> (l: Func(V), r: Func(K)->V)-> Func(K) {
    func(arg: K) {
        l(r(arg))
    }
}

// Haskell: f = g . h
// Equivalent to f x = g (h x)

// ooc: f := g => h
// Equivalent to f := func <T,K> (arg: T) -> K { g(h(arg)) }
f := String println => SSizeT toString
(f as Func(SSizeT))(42) // Also note the cast, you need to cast every generic type in ooc