{-# LANGUAGE GADTs #-}
{-# OPTIONS_GHC -O #-}

-- This one showed up a bug that required type refinement in GHC.IfaceToCore
-- See the call to coreRefineTys in GHC.IfaceToCore
--
-- Tests for bug: https://gitlab.haskell.org/ghc/ghc/issues/685

module ShouldCompile where

import Gadt17_help ( TernOp (..), applyTernOp )

liftTernOpObs :: TernOp a b c d -> a -> b -> c ->  d
liftTernOpObs op x y z = applyTernOp op x y z