Define for/fold/match/derived
Define for/list/match