1 2 3
• Could not deduce (C x0 (F x0)) • Could not deduce (C x0 (F x0)) • Could not deduce (C x0 (F x0))