Typed version of daggy.