Kind mismatches may throw unintentionally

[ivenmarquardt]

and displays meaningless error messages as a consequence:

Coyoneda.lower(Yoneda.Functor) (Coyoneda.lift([1, 2, 3]);

This is obviously ill-kinded but throws an error after a property access on undefined is conducted.

[ivenmarquardt]

Done.