{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}

module Bug where

x :: forall a b. (a ~ Integer, b ~ Integer) => (a, b)
!x = (1, 2)
~y = (1, 2)