• Could not deduce (C x0 (F x0))
      • Could not deduce (C x0 (F x0))
    • Could not deduce (C x0 (F x0))