add Text.jhala.hs