Sounds like an instance of the Expression Problem. Type classes were made for this. ;)