Questioning the Correctness of `List.map` Implementation - Effect Community