modules/base: type signatures for returns