nicer types