local<ENV1, ENV2> function

Reader<ENV2, A> Function<A>(Reader<ENV1, A> ) local<ENV1, ENV2>(
  1. ENV1 f(
    1. ENV2
    )
)

Implementation

Reader<ENV2, A> Function<A>(Reader<ENV1, A>) local<ENV1, ENV2>(
  ENV1 Function(ENV2) f,
) =>
    <A>(r) => (env2) => r(f(env2));