Code Fails at Runtime Despite Correct Typing - Effect Community