{-# LANGUAGE UnboxedTuples #-}
module A where

import B

a = () where x = (# b, 0 #)