annotations for yi / Yi.hs