Text this: Inferring Algebraic Effects