Open nwolverson opened 5 months ago
module M where import Prelude id :: forall @a. a -> a id x = let _ = map in x foo :: String -> String foo = id @String -- if VTA is present, hovering on `map` above doesn't work. when it's removed, it does