Type Level "Application" Operator

[Ryan Scott]

> 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.