Schreiber
omega-anafunctor