module ShouldSucceed where

j = 2

k = 1:j:l

l = 0:k

m = j+j