purescript-0.15.15: tests/purs/passing/PolykindGeneralizationHygiene.purs
module Main where import Effect.Console (log) -- First argument needs to be `k`. type F k t = forall proxy. proxy k -> t test :: F Symbol Int test _ = 42 main = log "Done"
module Main where import Effect.Console (log) -- First argument needs to be `k`. type F k t = forall proxy. proxy k -> t test :: F Symbol Int test _ = 42 main = log "Done"