Incorrect incorrect type warning

With the current compiler, the following program gives an incorrect type warning for Start:

module w

s :: *World -> *World
s w = w

Start w = s w

And running it fails with a type error.