{-# LANGUAGE TransformListComp #-}
{-# LANGUAGE Arrows            #-}

module ShouldFail where

one = [() | then ()]

two = do

three = proc () -> do