λ(x : Text) → x ++ "hai"