@@ -360,6 +360,8 @@ elabPE info fc caller r =
360 [] -> False
360 [] -> False
361 _ -> True
361 _ -> True
362 concreteTm ist (Constant _) = True
362 concreteTm ist (Constant _) = True
363+ concreteTm ist (Bind n (Lam _) sc) = True
364+ concreteTm ist (Bind n (Let _ _) sc) = concreteTm ist sc
363 concreteTm ist _ = False
365 concreteTm ist _ = False
365 -- get the type of a specialised application
367 -- get the type of a specialised application