testdata/ambig.lc


1
2
3
4
5
6
7
8
9

{-# LANGUAGE NoImplicitPrelude #-}

data Tuple2 a b = Tuple2 a b

h f y z = x
  where
    -- x :: 
    x = (\(a, b) -> f a b) y