functional-programming - idris に Stream のフィルタ機能がないのはなぜですか?

Question

リスト用はあるのにストリーム用filter : (a -> Bool) -> List a -> List aがないのはなぜですか?filter : (a -> Bool) -> Stream a -> Stream a

同様の仕事をするための代替手段はありますか？