Kind synonyms do not work

[Rewbert]

As discussed in our meeting, this does not compile

module Example(fac, main) where

import Data.TypeLits
import Data.Proxy

type LocTy = Symbol

type LocTm = String

toLocTm :: forall (l :: LocTy) . KnownSymbol l => Proxy l -> LocTm
toLocTm = undefined

main :: IO ()
main = undefined

[augustss]

Definite a bug. It will have to wait until I implement type data.