readFail031.hs:4:3: error:
    Invalid type signature: (:+) :: ...
    Should be of form <variable> :: <type>