added type signature to (.:)
Added type signature