noinia

import qualified Data.Set as Set
import           Test.QuickCheck

import Debug.Trace

setOf    :: (Ord a, Show a) => Int -> Gen a -> Gen (Set.Set a)
setOf n g = buildSet mempty <$> infiniteListOf g
  where
    buildSet s xs     | traceShow (take 10 xs) False = undefined
    buildSet s (x:xs) | length s == n = s

noinia

foldr1With     :: Foldable1 f => (a -> b -> b) -> (a -> b) -> f a -> b
foldr1With f b = go . toNonEmpty
  where
    go (x :| xs) = case NonEmpty.nonEmpty xs of
                     Nothing  -> b x
                     Just xs' -> x `f` (go xs')

noinia

module Main where

main = print "woei"