Typing #80 — Deca