typelevelLR