and Types are Good
# general
w
and Types are Good