Changed 'runEffect' back to a concrete Effect type synonym