This (I believe) is our Functor's greatest fix-point.
Similar to Z.Hole, except rather than taking
a type parameter, it "fixes" its value to itself.
Interestingly, in TypeScript (and I would imagine most languages),
there's no obvious way to implement Z.Fixpoint
in terms of Z.Hole. If you're not sure what I
mean, it might be a useful exercise to try, since it will give you
some intuition for why adding constraints prematurely might cause
us probems down the line.
Z.FixpointThis (I believe) is our Functor's greatest fix-point. Similar to
Z.Hole, except rather than taking a type parameter, it "fixes" its value to itself.Interestingly, in TypeScript (and I would imagine most languages), there's no obvious way to implement
Z.Fixpointin terms ofZ.Hole. If you're not sure what I mean, it might be a useful exercise to try, since it will give you some intuition for why adding constraints prematurely might cause us probems down the line.