Type Inference with Union Types in Effect Library - Effect Community