blob: 96a4d66e5779fa62d0104aaeeea004a962554eb7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, UndecidableInstances #-}
--
-- Test case adopted from the HList library
-- http://www.cwi.nl/~ralf/HList/
--
module TypeCast where
import FakePrelude
--
-- We are ready to reveal the definition of type cast.
--
instance TypeCast x x where typeCast = id
|