Use GPL-2+ like Yi does
Typeable instances