ATS compiles down to C, so I suspect they're just leaning on C's implicit coercions. Yeah, it's a bad example.