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 |