h$t2      Safe-Inferred2<=&ann a$ is the type of annotations of type a+. It is such, in particular that, for all x ::  a and y ::  a, x == y.ann%When all else fails@if neither the Monad instance nor  fit your need@you can use 3 to observe the underlying value of an annotation.M You must prove that you are not using 'unsafeExtract ann' in a way where changing the value of ann, would change the behaviour of your program.ann