Infer: Remove FlexibleContexts