Same behaviour as Check, but intended being used as a label for Kleisli in target category:
Work in progress...