? Haskell typefun а что Data.Tagged не PolyKinded по первому аргументу?