Type checker can't infer impredicative instantations from matches

[plt-amy]

See here. In:

    | None ->
      match tasks key with
      | Some task ->

task enters scope with type α, not - as you'd expect - forall 'x. _...

Ughr.

I worked around this by slapping some flex tape on lower!