T3177.hs 211 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14
{- LANGUAGE TemplateHaskell #-}

-- Template Haskell type splices
module T3177 where

f :: $(id [t| Int |])
f = 3

class C a where
  op :: a -> a

instance C a => C ($([t| Maybe |]) a) where
  op x = fmap op x