propSplitOnFirst :: Int -> [Int] -> Bool
propSplitOnFirst x xs = ((\(as, bs) -> as ++ maybe [] ([x] ++) bs) . splitOnFirst x) xs == xs
propSplitOnFirst :: Int -> [Int] -> Bool
propSplitOnFirst x xs = ((\(as, bs) -> as ++ maybe [] ([x] ++) bs) . splitOnFirst x) xs == xs
propSplitOnFirst x xs = ((\(as, bs) -> as ++ maybe [] ([x] ++) bs) . splitOnFirst x) xs == xs