diff --git a/channel/heap_lang.v b/channel/heap_lang.v
index 9e8d8833bcac9c0fa4154c2782433c133835a5f8..0cb39a93fceec6b5d63340039e23e5a6a8d455c6 100644
--- a/channel/heap_lang.v
+++ b/channel/heap_lang.v
@@ -57,7 +57,7 @@ Instance Rename_expr : Rename expr. derive. Defined.
 Instance Subst_expr : Subst expr. derive. Defined.
 Instance SubstLemmas_expr : SubstLemmas expr. derive. Qed.
 
-Definition Lam (e: expr) := Rec (e.[up ids]).
+Definition Lam (e: {bind expr}) := Rec (e.[up ids]).
 Definition LitUnit := Lit tt.
 Definition LitTrue := Lit true.
 Definition LitFalse := Lit false.