use "basic_models.g";

fun apply< T > where { Regular< T > }
((fun(T const&) -> T @) const& f, T const& x) -> T @;

fun add1
(int const& x) -> int @;

fun main
() -> int @;