blob: cf5a831c37fd16e4392e0f90583500404ff2443e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GADTs #-}
module T15431a where
import Data.Coerce
import Data.Functor.Identity
g1 :: Coercible (t a) Int => t a -> Int
g1 = coerce
g2 :: Coercible Int (t a) => t a -> Int
g2 = coerce
|