module Possible

import Prelude

foo : Nat → Nat
foo ()