unintentional type theory, #94