ByNobleID
    Terminal coalgebras for endofunctors on sets | NobleID