example where class inference fails