type t

op f : ? t -> t

op g : t -> (? t)

ops a, b : t

ops c, d : ? t

. f a = g c

. def c ();

type

t : Type

op a : t %(op)%

op b : t %(op)%

op c : ? t %(op)%

op d : ? t %(op)%

op f : ? t -> t %(op)%

op g : t -> ? t %(op)%

. f a = g c

. def c ()

### Hint 10.8,

in type of '(op c : ? t)'

typename 't' (6.10)

is not unifiable with type 'Unit ->? ? _v12_a'