Finally got an open Nat Type!