Skip to content

cherry pick nullable field projection to 3.5 #533

cherry pick nullable field projection to 3.5

cherry pick nullable field projection to 3.5 #533

Triggered via pull request December 30, 2024 19:44
Status Success
Total duration 5m 15s
Artifacts

haskell.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

163 warnings
build (3.10.2.1, 9.8)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.10.2.1, 9.8): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.8): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.8): test/Common/Test/Models.hs#L27
The import of ‘Database.Persist.Sql’ is redundant
build (3.10.2.1, 9.8): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.8): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.8): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.8): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.8): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.8): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.8): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.8): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.8): src/Database/Esqueleto/Experimental/From/SqlSetOperation.hs#L90
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.8): src/Database/Esqueleto/Experimental/From/SqlSetOperation.hs#L101
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.8): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 9.8): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 9.8): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 9.8): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 9.8): src/Database/Esqueleto/PostgreSQL.hs#L256
In the use of ‘head’
build (3.10.2.1, 8.6)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.10.2.1, 8.6): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 8.6): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 8.6): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 8.6): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 8.6): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 8.6): test/Common/Test/Models.hs#L27
The import of ‘Database.Persist.Sql’ is redundant
build (3.10.2.1, 8.6): test/Common/Record.hs#L150
Defined but not used: ‘mySubselectRecordQuery’
build (3.10.2.1, 8.6): test/Common/Record.hs#L397
Defined but not used: ‘addr2’
build (3.10.2.1, 8.6): test/Common/Record.hs#L417
Defined but not used: ‘addr2’
build (3.10.2.1, 8.6): test/Common/Record.hs#L438
Defined but not used: ‘addr2’
build (3.10.2.1, 9.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.10.2.1, 9.2): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.2): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.2): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 9.2): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 9.2): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 9.2): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 9.2): test/Common/Test/Models.hs#L27
The import of ‘Database.Persist.Sql’ is redundant
build (3.10.2.1, 9.2): test/Common/Record.hs#L150
Defined but not used: ‘mySubselectRecordQuery’
build (3.10.2.1, 9.2): test/Common/Record.hs#L397
Defined but not used: ‘addr2’
build (3.10.2.1, 9.2): test/Common/Record.hs#L417
Defined but not used: ‘addr2’
build (3.10.2.1, 9.2): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.2): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.2): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 9.2): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 9.2): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 9.2): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 9.10)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.10.2.1, 9.10): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/Experimental/From/SqlSetOperation.hs#L90
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.10): src/Database/Esqueleto/Experimental/From/SqlSetOperation.hs#L101
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.10): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/PostgreSQL.hs#L256
In the use of ‘head’
build (3.10.2.1, 9.10): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/Experimental/From/SqlSetOperation.hs#L90
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.10): src/Database/Esqueleto/Experimental/From/SqlSetOperation.hs#L101
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.10): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 9.10): src/Database/Esqueleto/PostgreSQL.hs#L256
In the use of ‘head’
build (3.10.2.1, 8.8)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.10.2.1, 8.8): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 8.8): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 8.8): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 8.8): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 8.8): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 8.8): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 8.8): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 8.8): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 8.8): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 8.8): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 8.8): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 8.8): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 8.8): test/Common/Test/Models.hs#L27
The import of ‘Database.Persist.Sql’ is redundant
build (3.10.2.1, 8.8): test/Common/Record.hs#L150
Defined but not used: ‘mySubselectRecordQuery’
build (3.10.2.1, 8.8): test/Common/Record.hs#L397
Defined but not used: ‘addr2’
build (3.10.2.1, 8.8): test/Common/Record.hs#L417
Defined but not used: ‘addr2’
build (3.10.2.1, 9.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.10.2.1, 9.0): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.0): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.0): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 9.0): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 9.0): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 9.0): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 9.0): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.0): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.0): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 9.0): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 9.0): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 9.0): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 9.0): test/Common/Test/Models.hs#L27
The import of ‘Database.Persist.Sql’ is redundant
build (3.10.2.1, 9.0): test/Common/Record.hs#L150
Defined but not used: ‘mySubselectRecordQuery’
build (3.10.2.1, 9.0): test/Common/Record.hs#L397
Defined but not used: ‘addr2’
build (3.10.2.1, 9.0): test/Common/Record.hs#L417
Defined but not used: ‘addr2’
build (3.10.2.1, 9.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.10.2.1, 9.4): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.4): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.4): src/Database/Esqueleto/Experimental/From/SqlSetOperation.hs#L90
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.4): src/Database/Esqueleto/Experimental/From/SqlSetOperation.hs#L101
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.4): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 9.4): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 9.4): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 9.4): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 9.4): src/Database/Esqueleto/PostgreSQL.hs#L298
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.4): src/Database/Esqueleto/PostgreSQL.hs#L318
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.4): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.4): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.4): test/Common/Test/Models.hs#L27
The import of ‘Database.Persist.Sql’ is redundant
build (3.10.2.1, 9.4): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.4): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.4): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.4): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.4): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.4): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.4): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 8.10)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.10.2.1, 8.10): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 8.10): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 8.10): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 8.10): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 8.10): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 8.10): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 8.10): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 8.10): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 8.10): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 8.10): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 8.10): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 8.10): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 8.10): test/Common/Test/Models.hs#L27
The import of ‘Database.Persist.Sql’ is redundant
build (3.10.2.1, 8.10): test/Common/Record.hs#L150
Defined but not used: ‘mySubselectRecordQuery’
build (3.10.2.1, 8.10): test/Common/Record.hs#L397
Defined but not used: ‘addr2’
build (3.10.2.1, 8.10): test/Common/Record.hs#L417
Defined but not used: ‘addr2’
build (3.10.2.1, 9.6)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (3.10.2.1, 9.6): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.6): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.6): src/Database/Esqueleto/Experimental/From/SqlSetOperation.hs#L90
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.6): src/Database/Esqueleto/Experimental/From/SqlSetOperation.hs#L101
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.6): src/Database/Esqueleto/PostgreSQL.hs#L64
The qualified import of ‘Data.Text.Lazy.Builder’ is redundant
build (3.10.2.1, 9.6): src/Database/Esqueleto/PostgreSQL.hs#L67
The qualified import of ‘Database.Esqueleto.Experimental.From’ is redundant
build (3.10.2.1, 9.6): src/Database/Esqueleto/PostgreSQL.hs#L68
The import of ‘Database.Esqueleto.Experimental.From.CommonTableExpression’ is redundant
build (3.10.2.1, 9.6): src/Database/Esqueleto/PostgreSQL.hs#L69
The import of ‘Database.Esqueleto.Experimental.From.SqlSetOperation’ is redundant
build (3.10.2.1, 9.6): src/Database/Esqueleto/PostgreSQL.hs#L298
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.6): src/Database/Esqueleto/PostgreSQL.hs#L318
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.6): src/Database/Esqueleto/Internal/Internal.hs#L66
The qualified import of ‘Data.Monoid’ is redundant
build (3.10.2.1, 9.6): src/Database/Esqueleto/Internal/Internal.hs#L76
The import of ‘Database.Persist’ is redundant
build (3.10.2.1, 9.6): test/Common/Test/Models.hs#L27
The import of ‘Database.Persist.Sql’ is redundant
build (3.10.2.1, 9.6): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.6): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.6): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.6): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.6): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.6): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators
build (3.10.2.1, 9.6): test/Common/Test/Models.hs#L30
The use of ‘~’ without TypeOperators