Ticket #14938: Temp.hs

File Temp.hs, 251 bytes (added by kcsongor, 8 months ago)

Complete program

Line 
1{-# LANGUAGE GADTs         #-}
2{-# LANGUAGE TypeInType    #-}
3{-# LANGUAGE TypeOperators #-}
4
5module Temp where
6
7data (a :: k) :~: (b :: k) where
8  Refl :: a :~: a
9
10type family R (x :: k) (y :: k) (prf :: x :~: y) :: x :~: x where
11  R x y Refl = Refl