http://ll.jus.or.jp/2006/blog/doukaku2 import List; skip2 x = head x : error "invalid" : skip2 (tail x) skip3 x = head x : (skip3$tail$tail$tail x) lencollatz :: [Integer] lencollatz = 1 : (map (\(n,x,y)->1+(if even n then x else y)) (zip3…

なかなか奇妙なものだということを知った。全順序なのが信じられない。