¿Cómo definir flujos heterogéneos constantes en Haskell?
Entiendo cómo definir flujos homogéneos y heterogéneos en Haskell. — Flujos invariantes de tipo. data InvStream a where (:::) :: a -> InvStream a -> InvStream a — Flujos heterogéneos. data HStream :: InvStream * -> * where HCons :: x -> HStream xs -> HStream (x ‘::: xs) ¿Cómo . . . Read more