305 ┃   . HInsert1 (Proxy @"LeWord8") (TestCases (const [((), Nothing)]))
    306 ┃   . HInsert1 (Proxy @"LtWord8") (TestCases (const [((), Nothing)]))
    307 ┃   . HInsert1
    308 ┃     (Proxy @"Compare")
    309 ┃     ( TestCases
    310 ┃         ( \arrow ->
    311 ┃             if arrow /= ''Hask
    312 ┃               then [] -- Only `Hask` currently has `OrdCat'` instance
    313 ┃               else [([t|Double|], Nothing)]
    314 ┃         )
    315 ┃     )
    316 ┃   . HInsert1 (Proxy @"Max") (TestCases (const [([t|Double|], Nothing)]))
    317 ┃   . HInsert1 (Proxy @"Min") (TestCases (const [([t|Double|], Nothing)]))
    318 ┃   . HInsert1 (Proxy @"Not") (TestCases (const [((), pure ([|Gen.bool|], [|show|]))]))
    319 ┃   . HInsert1 (Proxy @"Plus") (TestCases (const [([t|Int64|], Nothing)]))
    320 ┃   . HInsert1 (Proxy @"Minus") (TestCases (const [([t|Int64|], Nothing)]))
    321 ┃   . HInsert1 (Proxy @"Times") (TestCases (const [([t|Int64|], Nothing)]))
    322 ┃   . HInsert1 (Proxy @"Quot") (TestCases (const [([t|Word8|], Nothing)]))
    323 ┃   . HInsert1
    324 ┃     (Proxy @"RealToFrac")
    325 ┃     (TestCases (const [(([t|Double|], [t|Float|]), pure ([|genFloating|], [|show|]))]))
    326 ┃   . HInsert1 (Proxy @"Recip") (TestCases (const [([t|Double|], pure ([|genFloating|], [|show|]))]))
    327 ┃   . HInsert1 (Proxy @"Rem") (TestCases (const [([t|Word8|], Nothing)]))
Test suite base-hierarchy: FAIL
    328 ┃   . HInsert1 (Proxy @"Div") (TestCases (const [([t|Word64|], Nothing)]))
Test suite logged to:
    329 ┃   . HInsert1 (Proxy @"Mod") (TestCases (const [([t|Word8|], Nothing)]))
dist/test/categorifier-plugin-test-0.1-base-hierarchy.log
    330 ┃   . HInsert1 (Proxy @"Divide") (TestCases (const [([t|Double|], Nothing)]))
    331 ┃   . HInsert1 (Proxy @"DivideDouble") (TestCases (const [((), Nothing)]))
    332 ┃   . HInsert1 (Proxy @"DivideFloat") (TestCases (const [((), Nothing)]))
0 of 3 test suites (0 of 3 test cases) passed.
    333 ┃   . HInsert1 (Proxy @"Atan2") (TestCases (const [])) -- no `curry`
    334 ┃   . HInsert1 (Proxy @"Abs") (TestCases (const [([t|Double|], pure ([|genFloating|], [|show|]))]))
    335 ┃   . HInsert1 (Proxy @"Negate") (TestCases (const [([t|Double|], pure ([|genFloating|], [|show|]))]))
    336 ┃   . HInsert1 (Proxy @"Signum") (TestCases (const [([t|Double|], pure ([|genFloating|], [|show|]))]))
    337 ┃   . HInsert1 (Proxy @"PowI") (TestCases (const []))
    338 ┃   . HInsert1 (Proxy @"PowInt") (TestCases (const [([t|Double|], pure ([|genFloating|], [|show|]))]))
    339 ┃   . HInsert1
    340 ┃     (Proxy @"FromInteger")
    341 ┃     ( TestCases
    342 ┃         ( const
    343 ┃             [ ( [t|Double|],
    344 ┃                 pure
    345 ┃                   ( [|
    346 ┃                       Gen.integral $
    347 ┃                         Range.linearFrom
    348 ┃                           0
    349 ┃                           (toInteger (minBound :: Int64) - 1)
    350 ┃                           (toInteger (maxBound :: Int64) + 1)
    351 ┃                       |],
    352 ┃                     [|show|]
    353 ┃                   )
    354 ┃               )
    355 ┃             ]
    356 ┃         )
    357 ┃     )
    358 ┃   . HInsert1
    359 ┃     (Proxy @"FromIntegral")
    360 ┃     ( TestCases
    361 ┃         (const [(([t|Int64|], [t|Double|]), pure ([|Gen.int64 Range.linearBounded|], [|show|]))])
    362 ┃     )
    363 ┃   . HInsert1 (Proxy @"Append") (TestCases (const [([t|[Word8]|], Nothing)]))
    364 ┃   . HInsert1 (Proxy @"Mappend") (TestCases (const [([t|[Word8]|], Nothing)]))
    365 ┃   . HInsert1 (Proxy @"ListAppend") (TestCases (const [([t|Word8|], Nothing)]))
    366 ┃   . HInsert1
    367 ┃     (Proxy @"Pure")
    368 ┃     ( TestCases
    369 ┃         ( const
    370 ┃             [ ([t|Double|], pure ([|genFloating|], [|show|])),
    371 ┃               ([t|Word8|], pure ([|genIntegralBounded|], [|show|]))
    372 ┃             ]
    373 ┃         )
    374 ┃     )
    375 ┃   . HInsert1 (Proxy @"Return") (TestCases (const [([t|Double|], pure ([|genFloating|], [|show|]))]))
    376 ┃   . HInsert1
    377 ┃     (Proxy @"Error")
    378 ┃     ( TestCases
    379 ┃         ( \arrow ->
    380 ┃             if arrow `elem` [''(->), ''Hask]
    381 ┃               then [] -- we expect bottomC to raise an exception in these categories
    382 ┃               else
    383 ┃                 [ ( [t|Word8|],
    384 ┃                     pure ([|Gen.string Range.linearBounded Gen.unicodeAll|], [|show|])
    385 ┃                   )
    386 ┃                 ]
    387 ┃         )
    388 ┃     )
    389 ┃   . HInsert1 (Proxy @"BuildLeft") (TestCases (const [(([t|Int64|], [t|Word8|]), pure ([|genIntegralBounded|], [|show|]))]))
    390 ┃   . HInsert1 (Proxy @"BuildRight") (TestCases (const [(([t|Int64|], [t|Word8|]), pure ([|genIntegralBounded|], [|show|]))]))
    391 ┃   . HInsert1 (Proxy @"EliminateEither") (TestCases (const [([t|Word8|], Nothing)]))
    392 ┃   . HInsert1 (Proxy @"EliminateEitherSwapped") (TestCases (const [([t|Word8|], Nothing)]))
    393 ┃   . HInsert1 (Proxy @"Apply") (TestCases (const [(([t|Word8|], [t|Bool|]), Nothing)]))
    394 ┃   . HInsert1 (Proxy @"BareFMap") (TestCases (const [([t|Word8|], Nothing)]))
    395 ┃   . HInsert1 (Proxy @"PartialFmap") (TestCases (const [([t|Word8|], Nothing)]))
    396 ┃   . HInsert1 (Proxy @"Fmap") (TestCases (const [(([t|Pair|], [t|Word8|]), Nothing)]))
    397 ┃   . HInsert1 (Proxy @"Fmap'") (TestCases (const [([t|Word8|], Nothing)]))
    398 ┃   . HInsert1 (Proxy @"ConstNot") (TestCases (const [([t|Word8|], Nothing)]))
    399 ┃   . HInsert1 (Proxy @"MapList") (TestCases (const [([t|Word8|], Nothing)]))
    400 ┃   . HInsert1 (Proxy @"Ap") (TestCases (const [])) -- no curry