module ShouldSucceed where

type G = [Int]

data K = H Bool | M G

