これはAizu Advent Calendar 2014 22日目の記事です。 前 @ishi_kuro 次 @youxkei 告知ではCoqの記事を書くとかのたまってましたが、僕には無理でした。ごめんなさい。だれか僕に依存型教えてください。 ということで(?)、代わりにHaskellの無限リストのこと…