Здравейте. Имам въпрос върху следните записки:
......
reads*((E=>i)=>i)=>E (a(book))(E=>i)=>i
reads*(a(book))((E=>i)=>i)=>i
....
Притесняват ме типовете и по-точно reads* приема (E=>i)=>i) и връща E. Имаме (a(book))(E=>i)=>i. Защо резултатът не е от тип Е и как сме получили типа на резултата?