Data.Stream.Typed
data Stream x a
type CompileTimeStream n a
type RunTimeStream a
type UnknownStream a
type InfiniteStream a
type CompileTime n
type RunTime
data Length
class ToStream a
type family AppendLength (a :: Length) (b :: Length) where ...
data SafeLength
type family ConcatLength (l1 :: Length) (l2 :: Length) where ...