Typing #87 — Deca