[ybbond]

some company with overflowing features from products that needs to have typecheck but very limited in time, and/or already complicated repository(es).

yes