Adding better support for HsSyn