Add type signatures to functions
Solution 12