Hi Vladimir,
I'm fairly new to functional programming and such concepts, I'm coming from a java background to scala. The higher Order type definitions look interesting! Could you give a small hint or direction where such would find their place in practice(IO, WEB, UI)? That would be nice.