Dependencies as types