desugar => desugar_haskellish_type
added vanilla syntax idea with attr