call/cc の型付け