Compiler crashes when special is used with the wrong kind

For example, the compiler crashes on compiling the module below in which m has kind *->* but is given a type of kind *:

TVI_CorrespondenceNumber 0
type.icl: to_constructor_variable, tvi

definition module test
import StdEnv
f :: (m a) -> Int | length m
	special m=Int

implementation module test
import StdEnv
f :: (m a) -> Int | length m
f x = length x