| The type checker seems a bit confused in this line: | | > In the first argument of `fst', namely `env' | | since the argument of `fst' is `?env' in that version. Is | this a different bug? Yes it is, now fixed. S