Cool! No need to parameterize program references, haskell infers them.