foo :: Goof Int
foo = T14978.Goof @Int @~<Co:1> :: Int GHC.Prim.~# Int