Use types as logical promises | Zoonk