| I've only manually implemented Typeable instances where GHC couldn't | derive one due to some extension Can you give some examples please? Simon