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