UnliftedNewtypesLevityBinder.hs:16:7: error:
    A levity-polymorphic type is not allowed here:
      Type: a
      Kind: TYPE r
    When trying to create a variable of type: a