Skip to content

Draft: Clarify laws of `TestCoercion`

John Ericson requested to merge wip/clarify-test-coercion into master

  • Add law to TestCoercion to match TestEquality

  • Remove recommendation for singleton types because of uncertainty whether this is a good recommendation.

  • Discuss the singleton type quandary under an expandable heading for anyone that is curious, without cluttering the main documentation.

Follow up from a5ea7867.

Blocked on decision in https://github.com/haskell/core-libraries-committee/issues/53

Edited by John Ericson

Merge request reports