System Fw cannot type-check self application The type system is what prevents System Fw from being Turing complete. Specifically, the key bit is that you cann

System Fw cannot type-check self application The type system is what prevents System Fw from being Turing complete. Specifically, the key bit is that you cannot unify the type "a -> b" with "a" (which is what prevents self application)