Understanding the `<A, E, R>` Type Format in Functional Programming - Effect Community