- Some phantom types examples