AMP compatibility

(<*) is now exported from Prelude, hide it.
Merge pull request #12 from bgamari/master

AMP compatibility