Simplifying type signatures