more type stuff