We shouldn't let-bind expressions with unlifted type