uncomment type checks