Don't use "share/atspre_define.hats" to use ATSLIB/prelude/array