Typing #57 — Deca