Index - L
| lengthSList | Data.SOP.Sing , Data.SOP |
| liftA2_NP | Data.SOP.NP |
| liftA2_NS | Data.SOP.NS |
| liftA2_POP | Data.SOP.NP |
| liftA2_SOP | Data.SOP.NS |
| liftA3_NP | Data.SOP.NP |
| liftA3_POP | Data.SOP.NP |
| liftA_NP | Data.SOP.NP |
| liftA_NS | Data.SOP.NS |
| liftA_POP | Data.SOP.NP |
| liftA_SOP | Data.SOP.NS |
| LiftedCoercible | Data.SOP.Constraint , Data.SOP |