haddocks
contravariant yoneda embedding