type schemes w/o gen