apply-and-specialize := λ(: function-name String)(: ft Type)(: pt Type)(: blame AST). (: (
   (let tt (apply( function-name ft pt True_u8 blame )))
   tt
) Type);