Strong computable type