You are missing nothing. Haskell has two different macro systems: typed and untyped.