In this case (and if it were interpreted as Haskell syntax), the above term would be wrong.