Runtime error with functional dependencies in class contexts

Hi, I'm getting a runtime error with functional dependencies in class contexts:

class ~= a | TypeEq a bool where
  cast :: a

class TypeEq a ~bool1 where
  typeEq :: a -> bool1

Error:

Bring up to date...
Compiling...
Analyzing 'main'.
[main.icl,]: .abc out of date, different compiler options. (Dynamics)
Compiling 'main'.
Run time error, selector does not matchread failed 0

I would expect this to work, or at least give a clear error.

Environment: iTasks with -aui compiler flag