generalized task
type families
abstracted orders and tasks