Explicitly Typing Return Value While Inferring Other Parameters - Effect Community