expanding the type: ``` B: B -> B B: (B -> B...
# functional
j
expanding the type:
Copy code
B: B -> B
B: (B -> B) -> (B -> B)
B: ((B -> B) -> (B -> B)) -> ((B -> B) -> (B -> B))
...