<*> + <*> | + <*> | | + pure (\u1 -> (\u2 -> u1)) | | ` pure (\u1 -> u1) | ` <*> | + <*> | | + def | | | ` <*> | | | + pure (\u1 -> (\u2 -> u1)) | | | ` pure (\u1 -> u1) | | ` def | | ` <*> | | + <*> | | | + def | | | | ` <*> | | | | + pure (\u1 -> (\u2 -> u1)) | | | | ` pure (\u1 -> u1) | | | ` def | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> u1)) | | | | | ` pure (\u1 -> u1) | | | | ` rec | | | ` rec | | ` rec | ` def | ` pure Term ` <*> + <*> | + ref | ` def | ` <*> | + <*> | | + ref | | ` def | | ` <*> | | + <*> | | | + <*> | | | | + pure (\u1 -> (\u2 -> u1)) | | | | ` pure (\u1 -> u1) | | | ` rec | | ` rec | ` rec ` ref