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