Foreign.Haskell: COMPILE pragma lacks data keyword

[semenov-vladyslav]

I guess https://github.com/agda/agda-stdlib/blob/master/src/Foreign/Haskell.agda#L28 should be
{-# COMPILE GHC Pair = data MAlonzo.Code.Foreign.Haskell.AgdaPair ((,)) #-}

[gallais]

Sorry about that. Thanks for the report!