module ShouldSucceed where

x = 'a'
(y:ys) = ['a','b','c'] where p = x