http://hackage.haskell.org/package/fixed-list-0.1.6/docs/Data-FixedList.html — обартите внимание на инстанс в Monad: это вообще практически осмысленно или просто очень хотелось чтобы Monad?