let
zero = inject
Int
.zero