(feat) Export Phantom.

Add an example testing default type parameters.