type question

satisfaction types