delete unnecessary type hint and use <$ instead of *> pure