pseudo type signatures