pub fn effect_parser( parser: impl Parser<Token, Spanned<Type>, Error = Simple<Token>> + Clone, ) -> impl Parser<Token, Effect, Error = Simple<Token>> + Clone