purescript-0.12.0: tests/purs/failing/1570.purs

-- @shouldFailWith ExpectedType
module M where

data F a = F a

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