module tbad partial qsort : Ord a => List a -> List a qsort [] = [] qsort (x::xs) with (partition ( List a -> List a qsort' [] = [] qsort' (x::xs) with (partition (