# name: deftype
# key: deft
# --
(deftype
  $2$>
  [$3]$>
  $0)$>