{-# LANGUAGE RecursiveDo #-}
justOnes
  = do rec xs <- Just (1 : xs)
       return (map negate xs)