invalid-hence/foreign-02.hence at (2,1): Unexpected '^'