let one = inject Int.one