A tip about formatting: if you indent by 4 spaces, you get monospaced text that doesn't swallow single line breaks. Thus: l1 = nil l2 = cons 1 l1

A tip about formatting: if you indent by 4 spaces, you get monospaced text that doesn't swallow single line breaks. Thus: l1 = nil l2 = cons 1 l1 length nil = 0 length (cons x xs) = 1 + length xs And: blink : Bool -> Stream Nat head : Stream A -> A head (blink True) = 0 head (blink False) = 1 tail : Stream A -> Stream A tail (blink True) = blink False tail (blink False) = blink True