Hiding the Types module