True/False about Haskell. Please leave the short explanation thanks!!

a) Functional programming is based on the predicate calculus. (T/F)

b) Because Haskell's programs are lazy they always terminate. (T/F)

c) If a Haskell program types it must be correct. (T/F)

d) There are some Haskell programs which are of every type. (T/F)

e) In Haskell there is a type which has no programs. (T/F)

f) Haskell is said to higher-order as functions can be passed to functions ... , which themselves can be passed to other functions. (T/F)