As you can see, the compiler crashed (ICE means internal compiler error) because existential types are not yet completely implemented. You probably stumbled upon an edge case that hasn’t been implemented yet.