Update the docs on how you bind unlifted types in let/where clauses