added StateT_Monad-based FIR filter