T15918.hs:19:19: error:
    • Couldn't match kind ‘*’ with ‘k0 -> *’
      Expected kind ‘(k0 -> *) -> Constraint’, but ‘[]’ has kind ‘* -> *’
    • In the first argument of ‘Build’, namely ‘[]’
      In an expression type signature: Build [] a
      In the expression: rev :: Build [] a