{-# LANGUAGE LinearTypes, GADTs #-}

data LinearHolder2 where
  LinearHolder2 :: a %1 -> b -> LinearHolder2

f :: a %1-> LinearHolder2
f x = LinearHolder2 x x

main :: IO ()
main = return ()