Redefining as type