testsuite/tests/typecheck/should_run/KindInvariant.stderr


1
2
3
4
5
6


<interactive>:1:3: error:
    • Couldn't match a lifted type with an unlifted type
      Expected kind ‘* -> *’, but ‘State#’ has kind ‘* -> ZeroBitType’
    • In the first argument of ‘T’, namely ‘State#’
      In the type ‘T State#’