T5686.hs:4:29:
    Can't make a derived instance of ‛Functor U’:
      Constructor ‛U’ must use the type variable only as the last argument of a data type
    In the data declaration for ‛U’