Yay, type signatures for all!