Typing #214 — Deca