The type t is now really LString.t