Typing

should have combinable types