bugs/194.cfa:13:1 error: Cannot choose between 2 alternatives for expression
Applying untyped:
  Name: foo
...to:
 Alternatives are:
Cost ( 0, 0, 0, 0, 1, 0, 0 ): Application of
      Variable Expression: foo: forall
        T: sized data type
        function
      ... returning
        _retval_foo: reference to instance of type T (not function type)
        ... with attributes:
          Attribute with name: unused



  (types:
    reference to instance of type _79_5_T (not function type)
  )
  Environment: -> pointer to signed int


Cost ( 0, 0, 0, 0, 1, 0, 0 ): Application of
      Variable Expression: foo: forall
        T: sized data type
        function
      ... returning
        _retval_foo: pointer to instance of type T (not function type)
        ... with attributes:
          Attribute with name: unused



  (types:
    pointer to instance of type _79_6_T (not function type)
  )
  Environment: -> signed int (no widening)