Test failures

[ocharles]

Running 1 test suites...
Test suite digestive-functors-tests: RUNNING...
Text.Digestive.Field.Tests:
  evalField singleton: [OK]
  evalField bool post without input: [OK]
  evalField bool post strange input: [OK]
  evalField bool post correct input: [OK]
  evalField bool get: [OK]
Text.Digestive.Field.QTests:
  Applicative identity for Result: [OK, passed 100 tests]
  Applicative compositionality for Result: [OK, passed 100 tests]
Text.Digestive.Field.Tests:
  formEncType url-encoded: [OK]
  formEncType multipart: [OK]
  formEncType multipart: [OK]
Text.Digestive.View.Tests:
  Simple postForm: [OK]
  optional unspecified: [OK]
  stringRead float: [OK]
  validateOptional validated successfully: [OK]
  validateOptional allows nothing: [OK]
  validateOptional fails for invalid data: [OK]
  conditions allows for multiple independent failing validations: [OK]
  Failing checkM: [OK]
  Failing validate: [OK]
  Simple fieldInputChoice: [OK]
  Nested postForm: [OK]
  subView errors: [OK]
  subView childErrors: [OK]
  subView input: [OK]
  subViews length: [OK]
  subViews after subView length: [OK]
  Abusing Choice as Text: [Failed]
ERROR: type: expected (Text _), but got: (Choice _ _)
CallStack (from HasCallStack):
  error, called at src/Text/Digestive/View.hs:192:19 in main:Text.Digestive.View
  Abusing Bool as Choice: [Failed]
ERROR: rare: expected (Choice _ _), but got: (Bool False)
CallStack (from HasCallStack):
  error, called at src/Text/Digestive/View.hs:211:24 in main:Text.Digestive.View
  Abusing Text as Bool: [Failed]
ERROR: name: expected (Bool _), but got: (Text "")
CallStack (from HasCallStack):
  error, called at src/Text/Digestive/View.hs:257:19 in main:Text.Digestive.View
  monadic choiceWith: [OK]
  monadic view query: [OK]
  Simple listOf: [OK]
  listOf with defaults: [OK]
  Simple viewDisabled: [OK]
Text.Digestive.Types.Tests:
  Mapping consistency: [OK, passed 100 tests]
  Label consistency - map: [OK, passed 100 tests]
  Child count consistency - label: [OK, passed 100 tests]
  Labelling consistency - monadic: [OK, passed 100 tests]
Text.Digestive.Types.Tests:
  enctype monoid - Left identity: [OK, passed 100 tests]
  enctype monoid - Right identity: [OK, passed 100 tests]
  enctype monoid - Associativity: [OK, passed 100 tests]
Text.Digestive.Types.Tests:
  Parsing and serializing sanity check: [OK, passed 100 tests]

         Properties   Test Cases   Total       
 Passed  10           29           39          
 Failed  0            3            3           
 Total   10           32           42          
Test suite digestive-functors-tests: FAIL

This is with GHC 8, hence the nice callstacks.