Types for the least and greatest fixed points of functors. - View it on GitHub