All types implemented in one Turing complete language can be implemented in another.