L0.Functions : L0.Library
+// The logic of functionApplication assumes that the function is actually ExternalValue
+// but it is not since it would prevent it from being converted with functionApplication
L0.Function <T L0.Value
@L0.assert L0.ConvertsToValueWith L0.Functions.functionApplication