Lazy Pattern Matching in Idris?

Question

I am trying to generate a Stream value in a monadic context. For example, the following code hangs in Idris (or segfaults):

import Control.Monad.State

count