Haskell!

What types are determined for the following expression under static and dynamic typing? Always assume strong typing, and make an optimistic assumption about the type of the variable x, that is, assume a type for x that makes the expression as type correct as possible. if head x then x else tail x Static: Type Error Dynamic: [Bool] Static: Type Error Dynamic: Bool Static: Bool Dynamic: Bool Static: [Bool] Dynamic: [Bool]