Scrap your type class instance bodies

WIP