Explicitly define our types using a casted function