Iaia.Applied

The usual data types, but re-expressed in terms of fixed-points.

Colist : Type -> Type

List : Type -> Type

Stream : Type -> Type

infinity : Corecursive t Maybe => t