readFail031.hs:4:3: error:
    Invalid type signature: (:+) :: ...
    Suggested fix:
      A type signature should be of form <variables> :: <type>