1 2 3 4 5 6
{-# LANGUAGE RebindableSyntax #-} module T15607 where import Prelude hiding (pure, return) t = do { pure 5 }