matryoshka
This package provides instances of various common data structures implemented explicitly as fixed-points.