{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module TestModule where
type B = Bool
data T = T
class C a where f :: Monad m => m a
instance C Bool where f = do return True; return False
g = False
type family F a 
type instance F Int = Bool
h :: Maybe Char -> F Int
h (Just x) | x=='a'    = True || False
           | otherwise = True || False
h Nothing              = False
th _ = ($([| True |]),[| False |])