Agda-2.3.2.2: src/prototyping/modules/flat/Debug.hs

module Debug where

import Debug.Trace

debug :: Monad m => String -> m ()
debug s = trace s $ return ()
-- debug s = return ()