``` Foo :: fn(a: $T, a: T) -> void { } main :: fn() -> void { Foo(1, 2) } ``` > Assertion failed: There had to be at least 1 polymorphic type declared