module Gradual where

import DI

injG
aI = 1

injG
bI a = 1 + a


injG
dI b = 3 + b

c = b + 1