FrozenErrorTests.hs:26:9: error: [GHC-25897]
    • Couldn't match type ‘a’ with ‘[a]’ arising from a use of ‘goo1’
      ‘a’ is a rigid type variable bound by
        the inferred type of test1 :: a
        at FrozenErrorTests.hs:26:1-28
    • In the expression: goo1 False undefined
      In an equation for ‘test1’: test1 = goo1 False undefined
    • Relevant bindings include
        test1 :: a (bound at FrozenErrorTests.hs:26:1)

FrozenErrorTests.hs:29:15: error: [GHC-18872]
    • Couldn't match type ‘Int’ with ‘[Int]’
        arising from a use of ‘goo1’
    • In the first argument of ‘goo2’, namely ‘(goo1 False undefined)’
      In the expression: goo2 (goo1 False undefined)
      In an equation for ‘test2’: test2 = goo2 (goo1 False undefined)

FrozenErrorTests.hs:30:9: error: [GHC-18872]
    • Couldn't match type ‘Int’ with ‘[Int]’
        arising from a use of ‘goo1’
    • In the expression: goo1 False (goo2 undefined)
      In an equation for ‘test3’: test3 = goo1 False (goo2 undefined)

FrozenErrorTests.hs:45:15: error: [GHC-18872]
    • Couldn't match type: T2 c c
                     with: M (T2 (T2 c c) c)
        arising from a use of ‘goo3’
    • In the first argument of ‘goo4’, namely ‘(goo3 False undefined)’
      In the expression: goo4 (goo3 False undefined)
      In an equation for ‘test4’: test4 = goo4 (goo3 False undefined)
    • Relevant bindings include
        test4 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:45:1)

FrozenErrorTests.hs:46:9: error: [GHC-18872]
    • Couldn't match type: T2 c c
                     with: M (T2 (T2 c c) c)
        arising from a use of ‘goo3’
    • In the expression: goo3 False (goo4 undefined)
      In an equation for ‘test5’: test5 = goo3 False (goo4 undefined)
    • Relevant bindings include
        test5 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:46:1)