suppose if we have a if condition if t1 t2 t3

typing :: TypingContext -> Term -> Maybe Type
--the typing relation
typing capGamma (Var x) = contextLookup x capGamma
typing capGama Tru = Just(TypeBool)
typing capGama Fls = Just(TypeBool)
typing capGama Zero = Just(TypeBool)
typing capGama (Succ t) = typing capGama t
typing capGama (Pred t) = typing capGama t
typing capGama (IsZero t) = typing capGama t
typing capGama (If t1 t2 t3)
| typing capGama t1 == TypeBool && typing capGama t2 == x = Just(x)
| otherwise = Nothing
where x = typing capGama t3

its giving me error

    Couldn't match expected type `Maybe Type'
           against inferred type `Type'
    In the second argument of `(==)', namely `TypeBool'
    In the first argument of `(&&)', namely
        `typing capGama t1 == TypeBool'
    In the expression:
            typing capGama t1 == TypeBool && typing capGama t2 == TypeBool