supertagged
Here if we use Raw in type TaggedType = @@[Raw,Tag] we will get scalac specific compile error, but with T - all ok
type TaggedType = @@[Raw,Tag]