[Haskell-beginners] infinite type

[Imants Cekusins]

Well even if (.) can be used with functions returning functions (partially
applied),

calling g . g where g expects 2 args and returns 1 does not seem intuitive.

Could you think of a useful practical example of

(a->a->a) . (a->a->a)

?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20160103/22f951f0/attachment.html>