Initial implementation of Nand and Not logic gates

Logic.hs

import Data.Generics(Data,Typeable)
import Prelude(Show,Read,Eq)

data Bit=T | F
        deriving (Show,Read,Eq,Data,Typeable)

nand :: (Bit, Bit) -> Bit
nand (T,T)=F
nand _=T

not :: Bit -> Bit
not a=nand(a,T)