still working on GenTypes