containers-0.5.5.1: tests/Regressions.hs

module Main where

newtype Age = MkAge Int

main :: IO ()
main = return ()
  where
    -- This won't compile if the role annotations are incorrect: