1 2 3
• Could not deduce (C x0 (F x0)) • Could not deduce (C x0 (F x0)) \ \\226\\128\\162 Could not deduce (C x0 (F x0))\n\