{-# LANGUAGE NoImplicitPrelude #-}
import Internals

from = \x -> x: from (primAddInt 1 x)

main = case from 0 of
    (_:_:_:i:_) -> case primCompareInt i 3 of EQ -> True