But this makes me wonder, is it actually *impossible* in Haskell to export from the same module a function with the same name at both the value and type level? Is it possible to export only one of the two?

It's quite possible. You just have to use the "type" namespace in your export list to disambiguate the term-level and type-level ($)s: {-# LANGUAGE TypeOperators #-} module Money (($), type ($)) where type f $ x = f x infixr 0 $ Also, +1 on the original suggestion to add ($) to base. Ryan S.