blob: f5fd1092ca9ccdbfc758056b0942561617bccad7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE UnliftedNewtypes #-}
module Goof where
import GHC.Exts (coerce)
import GHC.Types (RuntimeRep,TYPE,Coercible)
goof :: forall (rep :: RuntimeRep) (x :: TYPE rep) (y :: TYPE rep).
Coercible x y => x -> y
goof = coerce
|