drop 0 = cat drop (m + n) = drop m >-> drop n
dropWhile (pure False) = cat dropWhile (liftA2 (||) p1 p2) = dropWhile p1 >-> dropWhile p2