[ refactor ] Some more readable instances for toAbstract