use "basic_models.g";

fun foo< T > where { Regular< T > }
(T !& x, T const& y) -> T @;

fun main
() -> int @;