Complete, but small
Started RecursionSchemes