module ShouldSucceed where

type H = [Bool]

type G = (H,Char)