defun a
  let
    : d e
      : f
      : g
  h i
  . j