added comment definition for purescript