Looks more like F# (or something ML-y) than Haskell.

Yep, tuple or "product type."

Yep, in F# type annotations can be either in prefix style `List<T>` or postfix style `T list`.