module shallow

import StdEnv

:: DSL = DSL a

lit :: a -> DSL a
lit a = ...