use type families for typing
keep going
rollback unused things
use type families for typing
delete unused importing in Gene