Thanks belka: this perfectly works.
Can you please clarify why?
– Let’s say:
f :: Int->Int->Int – this function returns an Int
g :: Int ->Int – this function takes an Int has argument
h = g . f – why is this rejected while the output of f perfectly suits the input of g ?
– if I have
f2 :: Int->int
h2 = g . f2 – works perfecly ( output of f2 also suits input of g).
Thanks also for sharing your opinion about point free notation.
For now, based on my first trials, I share the same standpoint: the benefit is for simple, kind of mathematical, function composition.