無限リストを含むリストの型？

Haskellではリストは以下の3つに分けられる

有限リスト [1,2,3,4] , [1,20,30]
無限リスト [1..]
そして最後が擬リスト
例えば
_|_,1:2:_|_, 10:20:30:40:50:_|_
要するに、末尾がbotになっている。
上の二つのリストとの関係は

擬リストの極限が無限リスト

となっている。もっと面白い話もあるがそれはまた今度。