the type of foo->bar is bool.