Phantom

(Fn [(Ref (Phantom a) b)] (Phantom a))

copies a Phantom.

(Fn [(Phantom a)] ())

deletes a Phantom. Should usually not be called manually.

(Fn [a, (Phantom a)] a)

                        (ensure a p)
                    

is a function that takes anything and a Phantom, ensuring that the type contained by the Phantom and the type of the first parameter match.

(Fn [] (Phantom a))

creates a Phantom.

(Fn [(Ref (Phantom a) b)] String)

converts a Phantom to a string.

(Fn [(Ref (Phantom a) b)] String)

converts a Phantom to a string.