Ну, во-первых, то, что вы обозвали словом List тип, аналогичный Maybe (a, b). То есть, само по себе это не ошибка, как хотите, так и называйте, но это очень похоже на абсолютно неправильное понимание происходящего.

Во-вторых, этот код — это, вообще, к чему?