posRsInLs :: Eq p => [Match p] -> [Match p] -> Bool
posRsInLs ls rs = let posses = filter fpos rs
                  in and $ fmap (`elem` ls) posses
   where fpos (Positional _) = True
         fpos _ = False
posRsInLs :: Eq p => [Match p] -> [Match p] -> Bool
posRsInLs ls rs = let posses = filter fpos rs
                  in and $ fmap (`elem` ls) posses
   where fpos (Positional _) = True
         fpos _ = False
posRsInLs ls rs = let posses = filter fpos rs
                  in and $ fmap (`elem` ls) posses
   where fpos (Positional _) = True
         fpos _ = False