type Oh = IO type Shit = () main :: Oh Shit
Constraints only apply after GHC has already decided it’s going with this instance.
Почему это ещё не баг в GHC?
github.com
Наконец-то, IDE!
Наконец-то, IDE!
type Oh = IO type Shit = () main :: Oh Shit
Constraints only apply after GHC has already decided it’s going with this instance.