main = ()
  where
    when ?x <- ?y
    then True
--
3:10-3:18: Cannot solve the query.
--
import "Prelude"

main = getRef r
  where
    r = ref 1
  
    when True
    then Foo ()
    
    when Foo _
    then r := 2
--
2