1 2 3 4 5 6 7 8 9
{-# LANGUAGE NoImplicitPrelude #-} import Internals from = \x -> x: from (primAddInt 1 x) main = case from 0 of (_:_:_:i:_) -> case primCompareInt i 3 of EQ -> True