x = foo @'True