451 452 453
# File 'lib/typed/prelude.rb', line 451 def self.of(f,s) Pair.new([f,s]) end
458 459 460
# File 'lib/typed/prelude.rb', line 458 def second cast(at(1), '[T]') end