Putting the types explicitly for didatic purposes