something not working
more general computed types