Issue with Effect Typing in Provided Code - Effect Community