module Test

primitive type Word = "u64"

/* This is a number! */
one :: Word
one = 1

id :: a -> a
id x = x

seq :: a -> b -> b
seq x y = y