{-# LANGUAGE MonadComprehensions, ParallelListComp #-}

module Foo where

import Control.Monad.Zip

foo :: (MonadZip m, Monad m) => m ()
foo = [ ()
      | () <- foo
      | () <- foo
      ]