tylip / QuasiType