I didn’t understand that notation. Can someone please explain?

I think:

   x => a
is:

   λx. a 
and

   f <- a
is just application. I.e.

   f a

What about big T, square/angle brackets, and braces?

[deleted]

yeah no idea

const f = (x) => x + 1;