Added test for phantom types