Type inference without dependencies - Effect Community