@hackage / annotated-fix

A fixpoint of a functor that can be annotated