afew :: Test
afew = testGroup "Mixed, AFew" [testCase "AFew: C1" c1
                               ,testCase "AFew: C2" c2
                               ,testCase "AFew: C3" c3
                               ,testCase "AFew: C4" c4]
  where c1 = C1  @?= fromChurch (\ c _ _ _ -> c)
        c2 = C2 1 'a'  @?= fromChurch (\ _ f _ _ -> f 1 'a')
        c3 = C3 True True @?= fromChurch (\ _ _ f _ -> f True True)
        c4 = C4  @?= fromChurch (\ _ _ _ c -> c)
