そりゃむりだ

let type_const_decl a b c = c

なんだこのいかにも型を合わせるためだけのコードは.