blob: 36e7fe6eacd89ec77347d17e36ca3eba68160bb3 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE GADTs #-}
module T3632 where
import Data.Char ( ord )
data T where
MkT :: { f :: a -> Int, x :: a, wombat :: String } -> T
foo :: T -> T
foo t = t { f = ord, x = '3' }
|