purescript-0.7.5.1: examples/failing/1570.purs

-- @shouldFailWith ExpectedType
module M where

data F a = F a

test = \(x :: F) -> x