foo (Bar{}) = x