Simplify the implementation of binding a lambda abstraction in meta_hs